Modal Dependence Logics: Axiomatizations and Model-theoretic Properties

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.

References in corpus (6)

• Propositional Logics of Dependence
• The Expressive Power of Modal Dependence Logic
• Structural completeness in propositional logics of dependence
• Axiomatizing Propositional Dependence Logics
• Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice
• Validity and Entailment in Modal and Propositional Dependence Logics

Cited by in corpus (5)

• Questions and dependency in intuitionistic logic
• Positive Modal Logic Beyond Distributivity
• State-based Modal Logics for Free Choice
• Axiomatizing modal inclusion logic and its variants
• Validity and Entailment in Modal and Propositional Dependence Logics