On Axiomatizations of PAL
From MaRDI portal
Publication:3094017
DOI10.1007/978-3-642-24130-7_23zbMath1298.03060MaRDI QIDQ3094017
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_23
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items
Information dynamics and uniform substitution, On axiomatizations of public announcement logic, Epistemic Logic with Evidence and Relevant Alternatives
Cites Work
- Logics of communication and change
- Dynamic epistemic logic
- Reasoning about information change
- A theory of hypermodal logics: Mode shifting in modal logic
- Inexact knowledge with introspection
- Logics for epistemic programs
- The undecidability of iterated modal relativization
- Schematic Validity in Dynamic Epistemic Logic: Decidability