Algebraic semantics and model completeness for intuitionistic public announcement logic

DOI10.1016/J.APAL.2013.11.004MaRDI QIDQ393906zbMATH OpenOpenAlexFDO

Authors Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh

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)

Recommendations

• Algebraic semantics and model completeness for intuitionistic public announcement logic
• scientific article; zbMATH DE number 6863640
• Mathematics of public announcements
• A labelled sequent calculus for intuitionistic public announcement logic
• `Knowable' as `known after an announcement'

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1500671 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Algorithmic correspondence and canonicity for distributive modal logic
• An algebraic approach to subframe logics. Modal case
• An extension of the Galois theory of Grothendieck
• Dynamic Epistemic Logic and Knowledge Puzzles
• Epistemic Actions as Resources
• Intuitionistic hybrid logic
• Logical dynamics of information and interaction
• Rational mechanics and natural mathematics
• Reasoning about information change
• The logic of public announcements, common knowledge, and private suspicions
• The structure of lattices of subframe logics
• Varieties of monadic Heyting algebras. I
• Varieties of monadic Heyting algebras. II: Duality theory

Cited in

(25)

• Epistemic updates on bilattices
• Bilattice logic of epistemic actions and knowledge
• Temporal languages for epistemic programs
• Epistemic updates on algebras
• Intuitionistic public announcement logic with distributed knowledge
• Epistemic monadic Boolean algebras
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• Probabilistic Epistemic Updates on Algebras
• A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
• On axiomatizations of public announcement logic
• Situated epistemic updates
• Sahlqvist via translation
• Toward an epistemic-logical theory of categorization
• Algebras and relational frames for Gödel modal logic and some of its extensions
• Algebraic Semantics for Dynamic Dynamic Logic
• Refinement of Kripke Models for Dynamics
• scientific article; zbMATH DE number 6863640 (Why is no real title available?)
• Łukasiewicz Public Announcement Logic
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Rough concepts
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Relevant epistemic logic with public announcements and common knowledge
• Algorithmic correspondence and canonicity for non-distributive logics
• A labelled sequent calculus for intuitionistic public announcement logic
• Mathematics of public announcements

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

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