with Renne, B. , Yap, A. , 2016, 'Logics of temporal-epistemic actions', Synthese 193 (3), 813-849.
, 2009a, 'Extending probabilistic dynamic epistemic logic', Synthese 169 (2), 241-257.