Dynamic epistemic logic displayed

G. Greco

doi:10.1007/978-3-642-40948-6_11

Dynamic epistemic logic displayed

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Original language	English
Title of host publication	Logic, Rationality and Interaction
Subtitle of host publication	4th International Workshop, LORI 2013 - Hangzhou, China, October 2013 - Proceedings
Editors	H. Huang, D. Grossi, O. Roy
Pages	135-148
Volume	8196
Edition	LNCS
DOIs	https://doi.org/10.1007/978-3-642-40948-6_11
Publication status	Published - 2013

Access to Document

10.1007/978-3-642-40948-6_11

Cite this

@inproceedings{57bba6c9db5246fa832af29c4f1cb17c,

title = "Dynamic epistemic logic displayed",

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{\^i}rstea and Sadrzadeh [8].",

author = "G. Greco",

year = "2013",

doi = "10.1007/978-3-642-40948-6_11",

language = "English",

volume = "8196",

pages = "135--148",

editor = "H. Huang and D. Grossi and O. Roy",

booktitle = "Logic, Rationality and Interaction",

edition = "LNCS",

}

TY - GEN

T1 - Dynamic epistemic logic displayed

AU - Greco, G.

PY - 2013

Y1 - 2013

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

U2 - 10.1007/978-3-642-40948-6_11

DO - 10.1007/978-3-642-40948-6_11

M3 - Conference contribution

VL - 8196

SP - 135

EP - 148

BT - Logic, Rationality and Interaction

A2 - Huang, H.

A2 - Grossi, D.

A2 - Roy, O.

ER -

Dynamic epistemic logic displayed

Abstract

Access to Document

Fingerprint

Cite this