TY - GEN
T1 - Dynamic epistemic logic displayed
AU - Greco, Giuseppe
AU - Kurz, Alexander
AU - Palmigiano, Alessandra
PY - 2013/10/30
Y1 - 2013/10/30
N2 - 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].
AB - 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].
UR - http://www.scopus.com/inward/record.url?scp=84886403226&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84886403226&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40948-6_11
DO - 10.1007/978-3-642-40948-6_11
M3 - Conference contribution
AN - SCOPUS:84886403226
SN - 9783642409479
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 135
EP - 148
BT - Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Proceedings
T2 - 4th International Workshop on Logic, Rationality, and Interaction, LORI 2013
Y2 - 9 October 2013 through 12 October 2013
ER -