scientific article; zbMATH DE number 6863640
From MaRDI portal
Publication:4636028
zbMATH Open1400.03026MaRDI QIDQ4636028FDOQ4636028
Authors: Philippe Balbiani, Didier Galmiche 
Publication date: 23 April 2018
Title of this publication is not available (Why is that?)
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
sequent calculusaxiomatization/completenessdecidability/complexitypublic announcement logicintuitionistic propositional logic
Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cited In (23)
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Structures of oppositions in public announcement logic
- A public announcement separation logic
- Tableaux for Public Announcement Logic
- Populational announcement logic (PPAL)
- Intuitionistic public announcement logic with distributed knowledge
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
- Public announcements, public assignments and the complexity of their logic
- A Hybrid Public Announcement Logic with Distributed Knowledge
- Implicit and explicit stances in logic
- Public announcement logic in HOL
- On axiomatizations of public announcement logic
- Situated epistemic updates
- A soundness and completeness proof on dialogs and dynamic epistemic logic
- Łukasiewicz Public Announcement Logic
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers
- Relevant epistemic logic with public announcements and common knowledge
- Fully arbitrary public announcements
- On axiomatizations of PAL
- A labelled sequent calculus for intuitionistic public announcement logic
- Mathematics of public announcements
- Revising a labelled sequent calculus for 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)
