Algebraic semantics and model completeness for intuitionistic public announcement logic

DOI10.1016/J.APAL.2013.11.004zbMATH Open1320.03050OpenAlexW2120445324MaRDI QIDQ393906FDOQ393906

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

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'

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)

Cites Work

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

Cited In (25)

• 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
• Algebras and relational frames for Gödel modal logic and some of its extensions
• Toward an epistemic-logical theory of categorization
• Algebraic Semantics for Dynamic Dynamic Logic
• Refinement of Kripke Models for Dynamics
• Title not available (Why is that?)
• Ł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
• Epistemic updates on bilattices

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)