Algebraic semantics and model completeness for intuitionistic public announcement logic
From MaRDI portal
Publication:393906
DOI10.1016/j.apal.2013.11.004zbMath1320.03050MaRDI 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
duality; algebraic models; public announcement logic; intuitionistic modal logic; intuitionistic public announcement logic
03B42: Logics of knowledge and belief (including belief change)
06D20: Heyting algebras (lattice-theoretic aspects)
06D50: Lattices and duality
06E15: Stone spaces (Boolean spaces) and related structures
Related Items
Unnamed Item, THE LOGIC OF RESOURCES AND CAPABILITIES, Łukasiewicz Public Announcement Logic, Rough concepts, A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic, Bilattice logic of epistemic actions and knowledge, Situated epistemic updates, Algorithmic correspondence and canonicity for non-distributive logics, Relevant epistemic logic with public announcements and common knowledge, Unnamed Item, Probabilistic Epistemic Updates on Algebras, Algebraic Semantics for Dynamic Dynamic Logic, Epistemic Updates on Bilattices
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