Mathematical foundations

---

Basic papers Further directions

Technically, dynamic-epistemic logics are logics of model-changing operations, and as such their foundations continue to be a subject of research.

 

---

Basic papers

⇥

• Wesley H. Holliday, Thomas F. Icard. Moorean Phenomena in Epistemic Logic. In Advances in Modal Logic 8 (AiML 2010), 178-199, College Publications, 2010.
• Wesley H. Holliday, Thomas F. Icard. Information dynamics and uniform substitution. Synthese, 190(Supplement 1):31-55, 2013.

 

---

Further directions

↟   ⇥

• Johan van Benthem. An Essay on Sabotage and Obstruction. In Mechanizing Mathematical Reasoning, 268-276, College Publications, 2005. Prepublication version available.
• Barteld Kooi, Bryan Renne. Arrow Update Logic. The Review of Symbolic Logic, 4(4):536-559, 2011. Prepublication version available.
• Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera. The Expressive Power of Memory Logics. Review of Symbolic Logic, 4(2):290-318, 2011.
• Patrick Girard, Jeremy Seligman, Fenrong Liu. General Dynamic Dynamic Logic. In Advances in Modal Logic 9, 239-260, College Publications, 2012.
• Carlos Areces, Raul Fervari, Guillaume Hoffmann. Relation-changing modal operators. Logic Journal of the IGPL, 23(4):601-627, 2015.
• Guillaume Aucher. Dynamic Epistemic Logic as a Substructural Logic. In Johan van Benthem on Logic and Information Dynamics, 855-880, Springer, 2014. Prepublication version available.
• Johan van Benthem. Tracking Information. In J. Michael Dunn on Information Based Logics, 363-389, Springer, 2016. Prepublication version available.
• Guillaume Aucher, Johan van Benthem, Davide Grossi. Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. In Logic, Rationality, and Interaction (LORI 2015), 1-13, Springer, 2015. Extended version available.
• See the research line on Inference and Proof.