Subset space logic with arbitrary announcements

Abstract : 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.
Type de document :
Communication dans un congrès
5th Indian Conference on Logics and its Applications (ICLA), Jan 2013, Chennai, India. pp. 233-244, 2013
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01202518
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : lundi 21 septembre 2015 - 11:44:17
Dernière modification le : samedi 1 octobre 2016 - 01:03:00
Document(s) archivé(s) le : mardi 29 décembre 2015 - 08:55:58

Fichier

balbiani_12878.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01202518, version 1
  • OATAO : 12878

Citation

Philippe Balbiani, Hans Van Ditmarsch, Andrey Kudinov. Subset space logic with arbitrary announcements. 5th Indian Conference on Logics and its Applications (ICLA), Jan 2013, Chennai, India. pp. 233-244, 2013. <hal-01202518>

Partager

Métriques

Consultations de
la notice

118

Téléchargements du document

57