Modal Dependence Logics: Axiomatizations and Model-theoretic Properties
Logic
2018-12-19 v3
Abstract
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.
Keywords
Cite
@article{arxiv.1610.02710,
title = {Modal Dependence Logics: Axiomatizations and Model-theoretic Properties},
author = {Fan Yang},
journal= {arXiv preprint arXiv:1610.02710},
year = {2018}
}