About intuitionistic public announcement logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

About intuitionistic public announcement logic


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.
Fichier principal
Vignette du fichier
balbiani_19190.pdf (398.16 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01650178 , version 1 (28-11-2017)


  • 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⟩
185 View
108 Download


Gmail Mastodon Facebook X LinkedIn More