A proof-theoretic semantic analysis of dynamic epistemic logic

G. Greco, Sabine Frittella, Alexander Kurz, Vlasta Sikimić, Alessandra Palmigiano

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	1961-2015
Journal	Journal of Logic and Computation
Volume	26
Issue number	6
DOIs	https://doi.org/10.1093/logcom/exu063
Publication status	Published - 2016

Keywords

@article{45fd539fd77347648027e60c605f5741,

title = "A proof-theoretic semantic analysis of dynamic epistemic logic",

keywords = "display calculus, dynamic epistemic logic, proof-theoretic semantics",

author = "G. Greco and Sabine Frittella and Alexander Kurz and Vlasta Sikimi{\'c} and Alessandra Palmigiano",

year = "2016",

doi = "10.1093/logcom/exu063",

language = "English",

volume = "26",

pages = "1961--2015",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "6",

}

TY - JOUR

T1 - A proof-theoretic semantic analysis of dynamic epistemic logic

AU - Greco, G.

AU - Frittella, Sabine

AU - Kurz, Alexander

AU - Sikimić, Vlasta

AU - Palmigiano, Alessandra

PY - 2016

Y1 - 2016

KW - display calculus

KW - dynamic epistemic logic

KW - proof-theoretic semantics

U2 - 10.1093/logcom/exu063

DO - 10.1093/logcom/exu063

M3 - Article

SN - 0955-792X

VL - 26

SP - 1961

EP - 2015

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 6

ER -