On Axiomatizations of PAL

DOI10.1007/978-3-642-24130-7_23zbMath1298.03060OpenAlexW51780538MaRDI QIDQ3094017

Yanjing Wang

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (3)

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

This page was built for publication: On Axiomatizations of PAL