Dynamic Epistemic Logic Displayed. Greco, G., Kurz, A., & Palmigiano, A. In Grossi, D., Roy, O., & Huang, H., editors, Logic, Rationality, and Interaction, of Lecture Notes in Computer Science, pages 135–148, Berlin, Heidelberg, 2013. Springer. doi abstract bibtex 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].
@inproceedings{Greco_etal_epistemic:2013,
address = {Berlin, Heidelberg},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Dynamic {Epistemic} {Logic} {Displayed}},
isbn = {978-3-642-40948-6},
doi = {10.1007/978-3-642-40948-6_11},
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].},
language = {en},
booktitle = {Logic, {Rationality}, and {Interaction}},
publisher = {Springer},
author = {Greco, Giuseppe and Kurz, Alexander and Palmigiano, Alessandra},
editor = {Grossi, Davide and Roy, Olivier and Huang, Huaxin},
year = {2013},
keywords = {Dynamic Logic, Kripke Model, Modal Logic, Operational Rule, Sequent Calculus},
pages = {135--148},
}
Downloads: 0
{"_id":"rgESMCqQb3fsagcjk","bibbaseid":"greco-kurz-palmigiano-dynamicepistemiclogicdisplayed-2013","author_short":["Greco, G.","Kurz, A.","Palmigiano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Heidelberg","series":"Lecture Notes in Computer Science","title":"Dynamic Epistemic Logic Displayed","isbn":"978-3-642-40948-6","doi":"10.1007/978-3-642-40948-6_11","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].","language":"en","booktitle":"Logic, Rationality, and Interaction","publisher":"Springer","author":[{"propositions":[],"lastnames":["Greco"],"firstnames":["Giuseppe"],"suffixes":[]},{"propositions":[],"lastnames":["Kurz"],"firstnames":["Alexander"],"suffixes":[]},{"propositions":[],"lastnames":["Palmigiano"],"firstnames":["Alessandra"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Grossi"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Roy"],"firstnames":["Olivier"],"suffixes":[]},{"propositions":[],"lastnames":["Huang"],"firstnames":["Huaxin"],"suffixes":[]}],"year":"2013","keywords":"Dynamic Logic, Kripke Model, Modal Logic, Operational Rule, Sequent Calculus","pages":"135–148","bibtex":"@inproceedings{Greco_etal_epistemic:2013,\n\taddress = {Berlin, Heidelberg},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Dynamic {Epistemic} {Logic} {Displayed}},\n\tisbn = {978-3-642-40948-6},\n\tdoi = {10.1007/978-3-642-40948-6_11},\n\tabstract = {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].},\n\tlanguage = {en},\n\tbooktitle = {Logic, {Rationality}, and {Interaction}},\n\tpublisher = {Springer},\n\tauthor = {Greco, Giuseppe and Kurz, Alexander and Palmigiano, Alessandra},\n\teditor = {Grossi, Davide and Roy, Olivier and Huang, Huaxin},\n\tyear = {2013},\n\tkeywords = {Dynamic Logic, Kripke Model, Modal Logic, Operational Rule, Sequent Calculus},\n\tpages = {135--148},\n}\n\n","author_short":["Greco, G.","Kurz, A.","Palmigiano, A."],"editor_short":["Grossi, D.","Roy, O.","Huang, H."],"key":"Greco_etal_epistemic:2013","id":"Greco_etal_epistemic:2013","bibbaseid":"greco-kurz-palmigiano-dynamicepistemiclogicdisplayed-2013","role":"author","urls":{},"keyword":["Dynamic Logic","Kripke Model","Modal Logic","Operational Rule","Sequent Calculus"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/ValentinDRichard","dataSources":["nTukRxsNNmbKgjGgn"],"keywords":["dynamic logic","kripke model","modal logic","operational rule","sequent calculus"],"search_terms":["dynamic","epistemic","logic","displayed","greco","kurz","palmigiano"],"title":"Dynamic Epistemic Logic Displayed","year":2013}