Skip to Main content Skip to Navigation
New interface
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
Contributor : Guillaume Aucher Connect in order to contact the contributor
Submitted on : Saturday, April 8, 2017 - 10:44:00 AM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM
Long-term archiving on: : Sunday, July 9, 2017 - 12:30:45 PM


Files produced by the author(s)



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⟩



Record views


Files downloads