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

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 : Thursday, February 7, 2019 - 5:07:51 PM
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

1253

Files downloads

276