Dynamic Epistemic Logic

Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic

2018. Outstanding Contributions to Logic: Jaakko Hintikka on Knowledge and Game Theoretical Semantics.

Indicative Conditionals and Dynamics Epistemic Logic

with Thomas Icard

2017. Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK XVI).

Information Dynamics and Uniform Substitution

with Tomohiro Hoshi and Thomas Icard

2013. Synthese. Publisher’s version.

(Supersedes Schematic Validity in Dynamic Epistemic Logic: Decidability, 2011, Lecture Notes in Artificial Intelligence.)

A Uniform Logic of Information Dynamics

with Tomohiro Hoshi and Thomas Icard

2012. Advances in Modal Logic, Vol. 9. Publisher’s version.

Moorean Phenomena in Epistemic Logic

with Thomas Icard

2010. Advances in Modal Logic, Vol. 8. Publisher’s version.