scientific article; zbMATH DE number 6863640

MaRDI QIDQ4636028zbMATH OpenFDO

Authors Philippe Balbiani, Didier Galmiche

Publication date 23 April 2018

zbMATH Keywords

sequent calculusaxiomatization/completenessdecidability/complexitypublic announcement logicintuitionistic propositional logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• On axiomatizations of public announcement logic
• A labelled sequent calculus for intuitionistic public announcement logic
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Revising a labelled sequent calculus for public announcement logic
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity
• Public announcement logic with distributed knowledge
• Coalgebraic Announcement Logics
• Undecidability for arbitrary public announcement logic
• A Tableau Method for Public Announcement Logics

Cited in

(23)

• A Hybrid Public Announcement Logic with Distributed Knowledge
• Łukasiewicz Public Announcement Logic
• Mathematics of public announcements
• Public announcements, public assignments and the complexity of their logic
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Implicit and explicit stances in logic
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Structures of oppositions in public announcement logic
• Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers
• On axiomatizations of PAL
• A public announcement separation logic
• Revising a labelled sequent calculus for public announcement logic
• Tableaux for Public Announcement Logic
• Fully arbitrary public announcements
• A soundness and completeness proof on dialogs and dynamic epistemic logic
• Public announcement logic in HOL
• A labelled sequent calculus for intuitionistic public announcement logic
• Populational announcement logic (PPAL)
• Situated epistemic updates
• Relevant epistemic logic with public announcements and common knowledge
• Intuitionistic public announcement logic with distributed knowledge
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• On axiomatizations of public announcement logic

This page was built for publication:

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