Schematic Validity in Dynamic Epistemic Logic: Decidability

DOI10.1007/978-3-642-24130-7_6zbMath1298.03052OpenAlexW165460221MaRDI QIDQ3093998

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. III Icard

Publication date: 19 October 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-24130-7_6

zbMATH Keywords

modal logicdecidabilitydynamic epistemic logicpublic announcement logicschematic validitysubstitution core

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

Related Items (5)

Information dynamics and uniform substitution ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Toward a dynamic logic of questions ⋮ On Axiomatizations of PAL ⋮ Two Logical Faces of Belief Revision

Cites Work

• The modal logic of pure provability
• The secret of my success
• Logics of communication and change
• Dynamic epistemic logic
• Reasoning about information change
• The Russian cards problem
• Should knowledge entail belief?
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Expressivity and completeness for public update logics via reduction axioms
• Two-dimensional modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Schematic Validity in Dynamic Epistemic Logic: Decidability