Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

Abstract : We investigate some model and proof theoretic aspects of sabotage modal logic. The first contribution is to prove a characterization theorem for sabotage modal logic as the fragment of first-order logic which is invariant with respect to a suitably defined notion of bisimulation (called sabotage bisimulation). The second contribution is to provide a sound and complete tableau method for sabotage modal logic. We also chart a number of open research questions concerning sabotage modal logic, aiming at integrating it within the current landscape of logics of model update.
Type de document :
Communication dans un congrès
International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01194426
Contributeur : Guillaume Aucher <>
Soumis le : lundi 7 septembre 2015 - 08:25:41
Dernière modification le : mercredi 16 mai 2018 - 11:23:29
Document(s) archivé(s) le : mardi 8 décembre 2015 - 10:55:54

Fichier

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

Identifiants

  • HAL Id : hal-01194426, version 1

Collections

Citation

Guillaume Aucher, Johan Van Benthem, Davide Grossi. Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. 〈hal-01194426〉

Partager

Métriques

Consultations de la notice

240

Téléchargements de fichiers

284