Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic

  • Mehrnoosh Sadrzadeh
  • Alessandra Palmigiano
  • Minghui Ma
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6953)


In this paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements. We give the dual characterization of the corresponding submodel-injection map, as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application, we axiomatize the intuitionistic analogue of PAL, which we refer to as IPAL, and prove soundness and completeness of IPAL w.r.t. both algebraic and relational models.


Intuitionistic Logic Equivalent Class Epistemic Logic Public Announcement Heyting Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    van Benthem, J.: Logical Dynamics and Information Flow (2010) (manuscript) Google Scholar
  2. 2.
    Bezhanishvili, G.: Varieties of monadic heyting algebras part i. Studia Logica 61, 367–402 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bezhanishvili, G.: Varieties of monadic heyting algebras part ii. Studia Logica 62, 21–48 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Fischer-Servi, G.: Axiomatizations for some intuitionistic modal logics. Rend. Sem. Mat. Polit. de Torino 42, 179–194 (1984)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Plaza, J.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)Google Scholar
  6. 6.
    Simpson, A.: The Proof Theory and Semantics of Intuitionistic Modal Logic. Ph.D. thesis, University of Edingurgh, UK (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Mehrnoosh Sadrzadeh
    • 1
  • Alessandra Palmigiano
    • 2
  • Minghui Ma
    • 3
  1. 1.Computing LaboratoryOxford UniversityOfxordUK
  2. 2.Institute for Logic, Language and InformationUniversity of AmsterdamNetherlands
  3. 3.Institute of Logic and IntelligenceSouthwest UniversityChina

Personalised recommendations