Dynamic Epistemic Logic in Update Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2016

Dynamic Epistemic Logic in Update Logic

Résumé

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.
Fichier principal
Vignette du fichier
JLC2016CameraReadyPart2.pdf (477.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01476249 , version 1 (08-04-2017)

Identifiants

Citer

Guillaume Aucher. Dynamic Epistemic Logic in Update Logic. Journal of Logic and Computation, 2016, 26 (6), pp.1913-1960. ⟨10.1093/logcom/exw002⟩. ⟨hal-01476249⟩
1032 Consultations
545 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More