A proof-theoretic semantic analysis of dynamic epistemic logic
Samo za registrovane korisnike
2016
Članak u časopisu (Objavljena verzija)
Metapodaci
Prikaz svih podataka o dokumentuApstrakt
The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems that have been successfully applied to diverse scientific disciplines, but the proof-theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm that has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present article include a generalization of Belnap's cut-el...imination metatheorem for display calculi, and a revised version of the display-style calculus D. EAK [30]. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut-elimination as a consequence of the generalized metatheorem.
Ključne reči:
proof-theoretic semantics / dynamic epistemic logic / Display calculusIzvor:
Journal of Logic and Computation, 2016, 26, 6, 1961-2015Izdavač:
- Oxford Univ Press, Oxford
Finansiranje / projekti:
- Netherlands Organization for Scientific Research (NWO) [016.138.314]
- Aspasia Netherlands Organization for Scientific Research (NWO) [015.008.054]
- Delft Technology Fellowship
DOI: 10.1093/logcom/exu063
ISSN: 0955-792X
WoS: 000392844500007
Scopus: 2-s2.0-85014696958
Institucija/grupa
Filozofija / PhilosophyTY - JOUR AU - Frittella, Sabine AU - Greco, Giuseppe AU - Kurz, Alexander AU - Palmigiano, Alessandra AU - Sikimić, Vlasta PY - 2016 UR - http://reff.f.bg.ac.rs/handle/123456789/2187 AB - The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems that have been successfully applied to diverse scientific disciplines, but the proof-theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm that has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present article include a generalization of Belnap's cut-elimination metatheorem for display calculi, and a revised version of the display-style calculus D. EAK [30]. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut-elimination as a consequence of the generalized metatheorem. PB - Oxford Univ Press, Oxford T2 - Journal of Logic and Computation T1 - A proof-theoretic semantic analysis of dynamic epistemic logic EP - 2015 IS - 6 SP - 1961 VL - 26 DO - 10.1093/logcom/exu063 ER -
@article{ author = "Frittella, Sabine and Greco, Giuseppe and Kurz, Alexander and Palmigiano, Alessandra and Sikimić, Vlasta", year = "2016", abstract = "The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems that have been successfully applied to diverse scientific disciplines, but the proof-theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm that has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present article include a generalization of Belnap's cut-elimination metatheorem for display calculi, and a revised version of the display-style calculus D. EAK [30]. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut-elimination as a consequence of the generalized metatheorem.", publisher = "Oxford Univ Press, Oxford", journal = "Journal of Logic and Computation", title = "A proof-theoretic semantic analysis of dynamic epistemic logic", pages = "2015-1961", number = "6", volume = "26", doi = "10.1093/logcom/exu063" }
Frittella, S., Greco, G., Kurz, A., Palmigiano, A.,& Sikimić, V.. (2016). A proof-theoretic semantic analysis of dynamic epistemic logic. in Journal of Logic and Computation Oxford Univ Press, Oxford., 26(6), 1961-2015. https://doi.org/10.1093/logcom/exu063
Frittella S, Greco G, Kurz A, Palmigiano A, Sikimić V. A proof-theoretic semantic analysis of dynamic epistemic logic. in Journal of Logic and Computation. 2016;26(6):1961-2015. doi:10.1093/logcom/exu063 .
Frittella, Sabine, Greco, Giuseppe, Kurz, Alexander, Palmigiano, Alessandra, Sikimić, Vlasta, "A proof-theoretic semantic analysis of dynamic epistemic logic" in Journal of Logic and Computation, 26, no. 6 (2016):1961-2015, https://doi.org/10.1093/logcom/exu063 . .