Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
From MaRDI portal
Publication:3094027
DOI10.1007/978-3-642-24130-7_34zbMath1348.03019MaRDI 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
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
Cites Work