Multi-type display calculus for dynamic epistemic logic
Само за регистроване кориснике
2016
Чланак у часопису (Објављена верзија)
Метаподаци
Приказ свих података о документуАпстракт
In the present article, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki's dynamic epistemic logic, and enjoys Belnap-style cut elimination.
Кључне речи:
multi-type system / modularity / dynamic epistemic logic / Display calculusИзвор:
Journal of Logic and Computation, 2016, 26, 6, 2017-2065Издавач:
- Oxford Univ Press, Oxford
Финансирање / пројекти:
- Grant Netherlands Organization for Scientific Research (NWO) [016.138.314]
- NWO Aspasia grant [015.008.054]
- Delft Technology Fellowship
DOI: 10.1093/logcom/exu068
ISSN: 0955-792X
WoS: 000392844500008
Scopus: 2-s2.0-85014588205
Институција/група
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/2196 AB - In the present article, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki's dynamic epistemic logic, and enjoys Belnap-style cut elimination. PB - Oxford Univ Press, Oxford T2 - Journal of Logic and Computation T1 - Multi-type display calculus for dynamic epistemic logic EP - 2065 IS - 6 SP - 2017 VL - 26 DO - 10.1093/logcom/exu068 ER -
@article{ author = "Frittella, Sabine and Greco, Giuseppe and Kurz, Alexander and Palmigiano, Alessandra and Sikimić, Vlasta", year = "2016", abstract = "In the present article, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki's dynamic epistemic logic, and enjoys Belnap-style cut elimination.", publisher = "Oxford Univ Press, Oxford", journal = "Journal of Logic and Computation", title = "Multi-type display calculus for dynamic epistemic logic", pages = "2065-2017", number = "6", volume = "26", doi = "10.1093/logcom/exu068" }
Frittella, S., Greco, G., Kurz, A., Palmigiano, A.,& Sikimić, V.. (2016). Multi-type display calculus for dynamic epistemic logic. in Journal of Logic and Computation Oxford Univ Press, Oxford., 26(6), 2017-2065. https://doi.org/10.1093/logcom/exu068
Frittella S, Greco G, Kurz A, Palmigiano A, Sikimić V. Multi-type display calculus for dynamic epistemic logic. in Journal of Logic and Computation. 2016;26(6):2017-2065. doi:10.1093/logcom/exu068 .
Frittella, Sabine, Greco, Giuseppe, Kurz, Alexander, Palmigiano, Alessandra, Sikimić, Vlasta, "Multi-type display calculus for dynamic epistemic logic" in Journal of Logic and Computation, 26, no. 6 (2016):2017-2065, https://doi.org/10.1093/logcom/exu068 . .