On axiomatizations of PAL

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

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

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

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 (8)

• Structures of oppositions in public announcement logic
• Gentzen-type axiomatization for PAL
• Title not available (Why is that?)
• Populational announcement logic (PPAL)
• On axiomatizations of public announcement logic
• Epistemic logic with evidence and relevant alternatives
• Information dynamics and uniform substitution
• Revising a labelled sequent calculus for public announcement logic

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)