Logics of temporal-epistemic actions

2016

Bryan Renne, Joshua Sack, Audrey Yap

Synthese 193 (3)

Public and private communication are different

results on relative expressivity

2008

Bryan Renne

Synthese 165 (2)