Algebraic semantics and model completeness for intuitionistic public announcement logic

DOI10.1016/j.apal.2013.11.004zbMath1320.03050OpenAlexW2120445324MaRDI QIDQ393906

Mehrnoosh Sadrzadeh, Alessandra Palmigiano, Minghui Ma

Publication date: 24 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.11.004

zbMATH Keywords

dualityalgebraic modelspublic announcement logicintuitionistic modal logicintuitionistic public announcement logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Stone spaces (Boolean spaces) and related structures (06E15)

Related Items (13)

Probabilistic Epistemic Updates on Algebras ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ Epistemic Updates on Bilattices ⋮ Situated epistemic updates ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Rough concepts ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Łukasiewicz Public Announcement Logic ⋮ Relevant epistemic logic with public announcements and common knowledge ⋮ Unnamed Item ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic correspondence and canonicity for distributive modal logic
• An algebraic approach to subframe logics. Modal case
• Varieties of monadic Heyting algebras. II: Duality theory
• Reasoning about information change
• The structure of lattices of subframe logics
• Varieties of monadic Heyting algebras. I
• Intuitionistic hybrid logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logical Dynamics of Information and Interaction
• An extension of the Galois theory of Grothendieck
• Dynamic Epistemic Logic and Knowledge Puzzles
• Epistemic Actions as Resources

This page was built for publication: Algebraic semantics and model completeness for intuitionistic public announcement logic