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