scientific article; zbMATH DE number 6863640

zbMath1400.03026MaRDI QIDQ4636028

Didier Galmiche, Philippe Balbiani

Publication date: 23 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculusintuitionistic propositional logicpublic announcement logicaxiomatization/completenessdecidability/complexity

Mathematics Subject Classification ID

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

Related Items

Situated epistemic updates, Relevant epistemic logic with public announcements and common knowledge, Implicit and explicit stances in logic