About intuitionistic public announcement logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

About intuitionistic public announcement logic

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

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

Citer

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⟩
181 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More