Приказ основних података о документу
Multi-type display calculus for dynamic epistemic logic
dc.creator | Frittella, Sabine | |
dc.creator | Greco, Giuseppe | |
dc.creator | Kurz, Alexander | |
dc.creator | Palmigiano, Alessandra | |
dc.creator | Sikimić, Vlasta | |
dc.date.accessioned | 2021-10-12T12:21:39Z | |
dc.date.available | 2021-10-12T12:21:39Z | |
dc.date.issued | 2016 | |
dc.identifier.issn | 0955-792X | |
dc.identifier.uri | http://reff.f.bg.ac.rs/handle/123456789/2196 | |
dc.description.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. | en |
dc.publisher | Oxford Univ Press, Oxford | |
dc.relation | Grant Netherlands Organization for Scientific Research (NWO) [016.138.314] | |
dc.relation | NWO Aspasia grant [015.008.054] | |
dc.relation | Delft Technology Fellowship | |
dc.rights | restrictedAccess | |
dc.source | Journal of Logic and Computation | |
dc.subject | multi-type system | en |
dc.subject | modularity | en |
dc.subject | dynamic epistemic logic | en |
dc.subject | Display calculus | en |
dc.title | Multi-type display calculus for dynamic epistemic logic | en |
dc.type | article | |
dc.rights.license | ARR | |
dc.citation.epage | 2065 | |
dc.citation.issue | 6 | |
dc.citation.other | 26(6): 2017-2065 | |
dc.citation.rank | M21 | |
dc.citation.spage | 2017 | |
dc.citation.volume | 26 | |
dc.identifier.doi | 10.1093/logcom/exu068 | |
dc.identifier.scopus | 2-s2.0-85014588205 | |
dc.identifier.wos | 000392844500008 | |
dc.type.version | publishedVersion |