On axiomatizations of PAL

DOI10.1007/978-3-642-24130-7_23MaRDI QIDQ3094017zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• On axiomatizations of public announcement logic
• scientific article; zbMATH DE number 6863640
• Public announcements, public assignments and the complexity of their logic
• Mathematics of public announcements
• APAL with memory Ii better

Cites work

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

Cited in

(8)

• Information dynamics and uniform substitution
• Structures of oppositions in public announcement logic
• Revising a labelled sequent calculus for public announcement logic
• Gentzen-type axiomatization for PAL
• scientific article; zbMATH DE number 18645 (Why is no real title available?)
• Populational announcement logic (PPAL)
• On axiomatizations of public announcement logic
• Epistemic logic with evidence and relevant alternatives

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)