TY - JOUR
T1 - Modal Dependence Logics
T2 - Axiomatizations and Model-theoretic Properties
AU - Yang, Fan
PY - 2017/8/3
Y1 - 2017/8/3
N2 - Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this paper, we introduce sound and complete deduction systems for the major modal dependence logics, especially those with intuitionistic connectives in their languages. We also establish a concrete connection between team semantics and single-world semantics, and show that modal dependence logics can be interpreted as variants of intuitionistic modal logics.
AB - Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this paper, we introduce sound and complete deduction systems for the major modal dependence logics, especially those with intuitionistic connectives in their languages. We also establish a concrete connection between team semantics and single-world semantics, and show that modal dependence logics can be interpreted as variants of intuitionistic modal logics.
UR - https://researchportal.helsinki.fi/en/publications/fc8bba01-3bd9-41fa-9879-153100091d5c
U2 - 10.1093/jigpal/jzx023
DO - 10.1093/jigpal/jzx023
M3 - Article
SN - 1367-0751
VL - 25
SP - 773
EP - 805
JO - Logic Journal of the IGPL
JF - Logic Journal of the IGPL
IS - 5
ER -