OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Subset space logic with arbitrary announcements

Balbiani, Philippe and Van Ditmarsch, Hans and Kudinov, Andrey Subset space logic with arbitrary announcements. (2013) In: 5th Indian Conference on Logics and its Applications (ICLA), 10 January 2013 - 12 January 2013 (Chennai, India).

(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-642-36039-8_21


In this paper we introduce public announcements to Subset Space Logic (SSL). In order to do this we have to change the original semantics for SSL a little and consider a weaker version of SSL without the cross axiom. We present an axiomatization, prove completeness and show that this logic is PSPACE-complete. Finally, we add the arbitrary announcement modality which expresses “true after any announcement”, prove several semantic results, and show completeness for a Hilbert-style axiomatization of this logic.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 7750 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN 978-3-642-36038-1. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-36039-8_21
HAL Id:hal-01202518
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Institute of Mathematical Sciences Chennai - IMSc (INDIA)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Moscow Institute of Physics and Technology - MIPT (RUSSIA)
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:28 Aug 2015 14:10

Repository Staff Only: item control page