Dynamic Epistemic Logic in Update Logic

Guillaume Aucher 1, 2
2 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update, and we provide a sequent calculus for DEL. Finally, we show that DEL with a finite number of atomic events is as expressive as epistemic logic. In parallel, we provide a sequent calculus for update logic which turns out to be a generalization of the non-associative Lambek calculus.
Type de document :
Article dans une revue
Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1913-1960. 〈10.1093/logcom/exw002〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01476249
Contributeur : Guillaume Aucher <>
Soumis le : samedi 8 avril 2017 - 10:44:00
Dernière modification le : mardi 16 janvier 2018 - 15:54:13
Document(s) archivé(s) le : dimanche 9 juillet 2017 - 12:30:45

Fichier

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

Identifiants

Collections

Citation

Guillaume Aucher. Dynamic Epistemic Logic in Update Logic. Journal of Logic and Computation, Oxford University Press (OUP), 2016, 26 (6), pp.1913-1960. 〈10.1093/logcom/exw002〉. 〈hal-01476249〉

Partager

Métriques

Consultations de la notice

509

Téléchargements de fichiers

43