Dynamic epistemic logic displayed

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


We introduce a display calculus for the logic of Epistemic Actions and Knowledge (EAK) of Baltag-Moss-Solecki. This calculus is cut-free and complete w.r.t. the standard Hilbert-style presentation of EAK, of which it is a conservative extension, given that - as is common to display calculi - it is defined on an expanded language in which all logical operations have adjoints. The additional dynamic operators do not have an interpretation in the standard Kripke semantics of EAK, but do have a natural interpretation in the final coalgebra. This proof-theoretic motivation revives the interest in the global semantics for dynamic epistemic logics pursued among others by Baltag [4], Cîrstea and Sadrzadeh [8].

Original languageEnglish
Title of host publicationLogic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Proceedings
Number of pages14
Publication statusPublished - 30 Oct 2013
Externally publishedYes
Event4th International Workshop on Logic, Rationality, and Interaction, LORI 2013 - Hangzhou, China
Duration: 9 Oct 201312 Oct 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8196 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th International Workshop on Logic, Rationality, and Interaction, LORI 2013


Dive into the research topics of 'Dynamic epistemic logic displayed'. Together they form a unique fingerprint.

Cite this