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

https://hal.archives-ouvertes.fr/hal-01650178
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

File

balbiani_19190.pdf
Files produced by the author(s)

Identifiers

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

Citation

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⟩

Share

Metrics

Record views

215

Files downloads

107