Please use this identifier to cite or link to this item:
Title: A Multi-type Display Calculus for Dynamic Epistemic Logic
Authors: Frittella, S.
Greco, G.
Kurz, Alexander
Palmigiano, A.
Sikimić, V.
First Published: 5-Dec-2014
Publisher: Oxford University Press (OUP)
Citation: Journal of Logic and Computation, 2014, Special Issue on Substructural Logic and Information Dynamics
Abstract: In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut elimination.
DOI Link: 10.1093/logcom/exu068
ISSN: 0955-792X
eISSN: 1465-363X
Version: Post-print
Status: Peer-reviewed
Type: Other
Rights: Archived with reference to SHERPA/RoMEO and publisher website. This is a pre-copyedited, author-produced PDF of an article accepted for publication in the Journal of Logic and Computation following peer review. The version of record J Logic Computation (2014) is available online at:
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
multi-type-deak.pdfPost-review (final submitted)272.7 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.