Modal dependence logics: axiomatizations and model-theoretic properties

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.

• Publication year

  2016

• Venue

  Logic Journal of the IGPL

• Publication date

  2016-10-09

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1093/jigpal/jzx023arXiv 1610.02710
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Validity and Entailment in Modal and Propositional Dependence Logics

  2016cited by this paper
• Dependency as Question Entailment

  2016influential reference
• The Entailment Problem in Modal and Propositional Dependence Logics

  2016influential reference
• Structural completeness in propositional logics of dependence

  2015cited by this paper
• Questions of logic

  2015influential reference
• Characterizing Frame Definability in Team Semantics via the Universal Modality

  2015cited by this paper
• On Extensions and Variants of Dependence Logic : A study of intuitionistic connectives in the team semantics setting

  2014cited by this paper
• The Expressive Power of Modal Dependence Logic

  2014cited by this paper
• Axiomatizing Propositional Dependence Logics

  2014cited by this paper
• A Van Benthem Theorem for Modal Team Semantics

  2014cited by this paper
• Propositional logics of dependence

  2014influential reference
• Extended Modal Dependence Logic

  2013cited by this paper
• Model Checking for Modal Dependence Logic: An Approach through Post's Lattice

  2013cited by this paper
• Expressing Second-order Sentences in Intuitionistic Dependence Logic

  2013cited by this paper
• Model Checking for Modal Intuitionistic Dependence Logic

  2011cited by this paper
• Complexity of Model Checking for Modal Dependence Logic

  2011cited by this paper
• Inquisitive Logic

  2011influential reference
• Complexity Results for Modal Dependence Logic

  2010cited by this paper
• Model-theoretic and Computational Properties of Modal Dependence Logic

  2009cited by this paper
• On Definability in Dependence Logic

  2009cited by this paper
• From IF to BI

  2009influential reference
• Msc in Logic

  2009cited by this paper
• Modal Dependence Logic

  2008cited by this paper
• Dependence Logic: References

  2007influential reference
• Modal Logic

  2001cited by this paper
• On an Intuitionistic Modal Logic

  2000cited by this paper
• The Logic of Bunched Implications

  1999cited by this paper
• Modal Logic

  1997influential reference
• Some Strange Quantifiers

  1997cited by this paper
• Compositional Semantics for a Language of Imperfect Information

  1997cited by this paper
• The proof theory and semantics of intuitionistic modal logic

  1994cited by this paper
• A framework for intuitionistic modal logics: extended abstract

  1986cited by this paper
• Semantics for a Class of Intuitionistic Modal Calculi

  1980cited by this paper
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül

  1957cited by this paper

• Temporal Dependencies in Dynamical Systems, a Modal-Style Exploration

  2026cites this paper
• Expressibility and inexpressibility in propositional team logics

  2025cites this paper
• Model pluralism for logic

  2025cites this paper
• Convex Team Logics

  2025cites this paper
• There are (other) ways to negate in propositional team semantics

  2024cites this paper
• Axiomatizing modal inclusion logic and its variants

  2023cites this paper
• State-based Modal Logics for Free Choice

  2023cites this paper
• Positive (Modal) Logic Beyond Distributivity

  2022cites this paper
• Intermediate logics in the setting of team semantics

  2022influential citation
• On the Complexity of Linear Temporal Logic with Team Semantics

  2020cites this paper
• On the complexity of linear temporal logic with team semantics

  2020cites this paper
• Team logic: axioms, expressiveness, complexity

  2020influential citation
• Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case

  2019cites this paper
• Supervenience, Dependence, Disjunction

  2018cites this paper
• Questions and dependency in intuitionistic logic

  2017cites this paper
• Validity and Entailment in Modal and Propositional Dependence Logics

  2016cites this paper
• Axiomatizations of Team Logics

  2016influential citation