Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic

DOI10.1007/978-3-642-24130-7_34zbMath1348.03019OpenAlexW4251161091MaRDI QIDQ3094027

Minghui Ma, Mehrnoosh Sadrzadeh, Alessandra Palmigiano

Publication date: 19 October 2011

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:c3f54ceb-b9f9-422b-a29a-da0651a4cb87

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 (1)

Mathematics of Public Announcements

Cites Work

• Varieties of monadic Heyting algebras. II: Duality theory
• Varieties of monadic Heyting algebras. I
• Unnamed Item

This page was built for publication: Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic