Dynamic Epistemic Logic Displayed

Authors

Giuseppe Greco, ILLC, Amsterdam
Alexander Kurz, Chapman UniversityFollow
Alessandra Palmigiano, TBM, Delft

Document Type

Conference Proceeding

Publication Date

2013

Abstract

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].

Comments

This paper was originally presented at the International Workshop on Logic, Rationality and Interaction (LORI) in 2013. DOI: 10.1007/978-3-642-40948-6_11

Recommended Citation

Greco G., Kurz A., Palmigiano A. (2013) Dynamic Epistemic Logic Displayed. In: Grossi D., Roy O., Huang H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg

Copyright

Springer