Algebraic semantics and model completeness for intuitionistic public announcement logic
From MaRDI portal
Publication:393906
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
dualityalgebraic modelspublic announcement logicintuitionistic modal logicintuitionistic public announcement logic
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
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item