We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Multi-type display calculus for dynamic epistemic logic.
- Authors
FRITTELLA, SABINE; GRECO, GIUSEPPE; KURZ, ALEXANDER; PALMIGIANO, ALESSANDRA; SIKIMIĆ, VLASTA
- 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
- Subjects
EPISTEMIC logic; SEMANTICS (Philosophy); CALCULUS; NONCLASSICAL mathematical logic; COMPUTATIONAL complexity
- Publication
Journal of Logic & Computation, 2016, Vol 26, Issue 6, p2017
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/exu068