REFF - Faculty of Philosophy Repository
University of Belgrade - Faculty of Philosophy
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrillic)
    • Serbian (Latin)
  • Login
View Item 
  •   REFF
  • Filozofija / Philosophy
  • Radovi istraživača / Researcher's publications - Odeljenje za filozofiju
  • View Item
  •   REFF
  • Filozofija / Philosophy
  • Radovi istraživača / Researcher's publications - Odeljenje za filozofiju
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A proof-theoretic semantic analysis of dynamic epistemic logic

Authorized Users Only
2016
Authors
Frittella, Sabine
Greco, Giuseppe
Kurz, Alexander
Palmigiano, Alessandra
Sikimić, Vlasta
Article (Published version)
Metadata
Show full item record
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-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.

Keywords:
proof-theoretic semantics / dynamic epistemic logic / Display calculus
Source:
Journal of Logic and Computation, 2016, 26, 6, 1961-2015
Publisher:
  • Oxford Univ Press, Oxford
Funding / projects:
  • 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
[ Google Scholar ]
18
14
URI
http://reff.f.bg.ac.rs/handle/123456789/2187
Collections
  • Radovi istraživača / Researcher's publications - Odeljenje za filozofiju
Institution/Community
Filozofija / Philosophy
TY  - 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 . .

DSpace software copyright © 2002-2015  DuraSpace
About REFF | Send Feedback

OpenAIRERCUB
 

 

All of DSpaceInstitutions/communitiesAuthorsTitlesSubjectsThis institutionAuthorsTitlesSubjects

Statistics

View Usage Statistics

DSpace software copyright © 2002-2015  DuraSpace
About REFF | Send Feedback

OpenAIRERCUB