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 [115 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 : mercredi 16 mai 2018 - 11:23:29
Document(s) archivé(s) le : dimanche 9 juillet 2017 - 12:30:45

Fichier

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

Identifiants

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

921

Téléchargements de fichiers

145