An Alternative Axiomatization of DEL and Its Applications

Yanjing Wang 1 Guillaume Aucher 2
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in [Wang and Cao, 2013]. This axiomatization does not use any of the standard reduction axioms, but naturally captures the essence of the update product. We demonstrate the use of our new axiomatization and the corresponding proof techniques by three sets of results: characterization theorems of the update operations, representation theorems of the DEL-generatable epistemic temporal structures given a fixed event model, and a complete axiomatization of DEL on models with protocols.
Type de document :
Communication dans un congrès
IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00856470
Contributeur : Guillaume Aucher <>
Soumis le : dimanche 1 septembre 2013 - 01:43:31
Dernière modification le : vendredi 16 novembre 2018 - 01:22:29
Document(s) archivé(s) le : jeudi 6 avril 2017 - 11:21:43

Fichier

IJCAI2013b.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00856470, version 1

Citation

Yanjing Wang, Guillaume Aucher. An Alternative Axiomatization of DEL and Its Applications. IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China. 2013. 〈hal-00856470〉

Partager

Métriques

Consultations de la notice

434

Téléchargements de fichiers

226