Skip to Main content Skip to Navigation
Journal articles

Dynamic Epistemic Logic in Update Logic

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.
Complete list of metadata

Cited literature [115 references]  Display  Hide  Download

https://hal.inria.fr/hal-01476249
Contributor : Guillaume Aucher <>
Submitted on : Saturday, April 8, 2017 - 10:44:00 AM
Last modification on : Friday, January 8, 2021 - 3:39:36 AM
Long-term archiving on: : Sunday, July 9, 2017 - 12:30:45 PM

File

JLC2016CameraReadyPart2.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

1486

Files downloads

733