Schematic Validity in Dynamic Epistemic Logic: Decidability
From MaRDI portal
Publication:3093998
DOI10.1007/978-3-642-24130-7_6zbMath1298.03052MaRDI QIDQ3093998
Wesley H. Holliday, Thomas F. III Icard, Tomohiro Hoshi
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
modal logic; decidability; dynamic epistemic logic; public announcement logic; schematic validity; substitution core
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03B25: Decidability of theories and sets of sentences
Related Items
Two Logical Faces of Belief Revision, Information dynamics and uniform substitution, Toward a dynamic logic of questions, On Axiomatizations of PAL
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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