On axiomatizations of PAL

DOI10.1007/978-3-642-24130-7_23zbMATH Open1298.03060OpenAlexW51780538MaRDI QIDQ3094017FDOQ3094017

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

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

Cites Work

• Reasoning about information change
• The undecidability of iterated modal relativization
• Logics of communication and change
• Logics for epistemic programs
• Dynamic epistemic logic
• Inexact knowledge with introspection
• A theory of hypermodal logics: Mode shifting in modal logic
• Schematic Validity in Dynamic Epistemic Logic: Decidability

Cited In (5)

• Gentzen-type axiomatization for PAL
• Title not available (Why is that?)
• Epistemic Logic with Evidence and Relevant Alternatives
• On axiomatizations of public announcement logic
• Information dynamics and uniform substitution

   Recommendations

• On axiomatizations of public announcement logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Public announcements, public assignments and the complexity of their logic 👍 👎
• Mathematics of public announcements 👍 👎
• APAL with memory Is better 👍 👎

This page was built for publication: On axiomatizations of PAL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094017)