A General Framework for Modal Correspondence in Dynamic Epistemic Logic

DOI10.1007/978-3-662-48561-3_23zbMath1471.03034OpenAlexW2294610341MaRDI QIDQ3457711

Shota Motoura

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_23

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Other algebras related to logic (03G25)

Related Items (2)

On inverse operators in dynamic epistemic logic ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences

Cites Work

• Unnamed Item
• On axiomatizations of public announcement logic
• Dynamic logics of evidence-based beliefs
• Logics of communication and change
• Logics for epistemic programs
• Epistemic Updates on Algebras
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Mathematics of Public Announcements
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Two Logical Faces of Belief Revision
• Acts of Commanding and Changing Obligations

This page was built for publication: A General Framework for Modal Correspondence in Dynamic Epistemic Logic