OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

About intuitionistic public announcement logic

Balbiani, Philippe and Galmiche, Didier About intuitionistic public announcement logic. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://www.aiml.net/volumes/volume11/Balbiani-Galmiche.pdf


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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:This papers appears in volume 11 of Advances in Modal Logic ISBN : 978-1-84890-201-5 The original PDF of the article can be found at: http://www.aiml.net/volumes/volume11/Balbiani-Galmiche.pdf
HAL Id:hal-01650178
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université de Lorraine (FRANCE)
Laboratory name:
Deposited On:20 Nov 2017 13:45

Repository Staff Only: item control page