Before announcement

Balbiani, Philippe and Van Ditmarsch, Hans and Herzig, Andreas Before announcement. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

Preview

(Document in English)

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

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

Abstract

We axiomatize the mono-agent logic of knowledge with public announcements and converse public announcements. A special variant of our logic is determined by the model of maximal ignorance wherein the agent considers all valuations of atomic formulas possible

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-vanDitmarsch-Herzig.pdf
HAL Id:	hal-01650180
Audience (conference):	International conference proceedings
Uncontrolled Keywords:	Modal logic - Public announcement logic - Before announcement
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:	Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France) - LILaC Laboratoire Lorrain de Recherche en Informatique et ses Applications - LORIA (Nancy, France)
Statistics:	download
Deposited On:	20 Nov 2017 15:07

Repository Staff Only: item control page