Modal Fixed-Point Logic and Changing Models

We show that propositional dynamic logic and the modal µ-calculus are closed under product modalities, as defined in current dynamic-epistemic logics. Our analysis clarifies the latter systems, while also raising some new questions about fixed-point logics.

[1]  Lawrence S. Moss.  Exploring Logical Dynamics, Johan van Benthem , 2000, J. Log. Lang. Inf..

[2]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[3]  A. Arnold,et al.  Rudiments of μ-calculus , 2001 .

[4]  Johan van Benthem,et al.  Reduction axioms for epistemic actions , 2004 .

[5]  Z. Ésik,et al.  Iteration Theories: The Equational Logic of Iterative Processes , 1993 .

[6]  J. Benthem,et al.  Logics of communication and change , 2006 .

[7]  Colin Stirling,et al.  Modal Mu-Calculi , 2001 .

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

[9]  Colin Stirling,et al.  Modal mu-calculi , 2007, Handbook of Modal Logic.

[10]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[11]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.