Modal dependence logics: axiomatizations and model-theoretic properties
Fan Yang · Logic Journal of IGPL · 2017
Modal dependence logics are modal logics defined on the basis of team semantics and have the downward closure property. In this article, 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.