Skip to Main content Skip to Navigation
Conference papers

About intuitionistic public announcement logic

Philippe Balbiani 1 Didier Galmiche 2
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
2 TYPES - Logic, Proof Theory and Programming
LORIA - FM - Department of Formal Methods
Abstract : Public announcement logic (PAL) is a logic for reasoning about the dynamic of knowledge in a multi-agent system in which public announcements are made. Syntactically, public announcements are modal formulas. Semantically, they correspond to restrictions of models. Ma et al. (2014) use the standard toolkit of duality theory in modal logic to define an algebraic semantics for a combination of IPL and PAL into intuitionistic public announcement logic (IPAL). In this paper, grounding our approach on relational semantics rather than on algebraic semantics, we give a sound and complete axiomatization of IPAL and we consider a complete sequent calculus for the associated membership problem.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, November 28, 2017 - 12:04:08 PM
Last modification on : Tuesday, March 23, 2021 - 11:43:15 AM


Files produced by the author(s)


  • HAL Id : hal-01650178, version 1
  • OATAO : 19190


Philippe Balbiani, Didier Galmiche. About intuitionistic public announcement logic. 11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp. 97-116. ⟨hal-01650178⟩



Record views


Files downloads