Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

This paper takes a dynamical systems perspective on the semantic structures of dynamic epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems may produce. The class of dynamical systems based directly on action models produce very limited orbits. Three types of more complex model transformers are equivalent and may produce a large class of orbits, suitable for most modeling purposes.

[1]  Valentin Goranko,et al.  Model theory of modal logic , 2007, Handbook of Modal Logic.

[2]  Thomas Bolander,et al.  Epistemic planning for single- and multi-agent systems , 2011, J. Appl. Non Class. Logics.

[3]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[4]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[5]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[6]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

[7]  Hans van Ditmarsch,et al.  Semantic results for ontic and epistemic change , 2006, ArXiv.

[8]  Yanjing Wang,et al.  Epistemic Modelling and Protocol Dynamics , 2010 .

[9]  Darko Sarenac,et al.  Modal Logic for Qualitative Dynamics , 2011 .

[10]  F. Takens,et al.  Preliminaries of Dynamical Systems Theory , 2010 .

[11]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[12]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[13]  C. Degrémont.  The temporal mind : observations on the logic of belief change in interactive systems , 2010 .

[14]  B. Rodenhäuser,et al.  A logic for extensional protocols , 2011, J. Appl. Non Class. Logics.

[15]  Yanjing Wang,et al.  Composing models , 2011, J. Appl. Non Class. Logics.