Modal dependence logic

zbMATH Open1377.03011MaRDI QIDQ4599513FDOQ4599513

Authors: Jouko Väänänen 

Publication date: 3 January 2018

Recommendations

• Model-theoretic and computational properties of modal dependence logic
• On dependence logic
• Modal dependence logics: axiomatizations and model-theoretic properties
• Complexity Results for Modal Dependence Logic
• Complexity results for modal dependence logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Games in extensive form (91A18) Games involving topology, set theory, or logic (91A44)

Cited In (45)

• Expressivity and Complexity of Dependence Logic
• Diversity, dependence and independence
• Modal inclusion logic: being lax is simpler than being strict
• INQUISITIVE BISIMULATION
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Propositional logics of dependence
• Equivalence criteria for compositional IF modal logics
• Reducing Modal Consequence Relations
• Canonical models and the complexity of modal team logic
• Questions and dependency in intuitionistic logic
• Dependence logic with a majority quantifier
• Boolean dependence logic and partially-ordered connectives
• Intermediate logics in the setting of team semantics
• A generalization of inquisitive semantics
• Team semantics for interventionist counterfactuals: observations vs. interventions
• On the complexity of linear temporal logic with team semantics
• Axiomatizations of team logics
• A simple logic of functional dependence
• Approximation and dependence via multiteam semantics
• Complexity of model checking for modal dependence logic
• The expressive power of modal dependence logic
• Epistemic operators in dependence logic
• Dependency as question entailment
• Complexity results for modal dependence logic
• A logical analysis of existential dependence and some other ontological concepts -- a comment to some ideas of Eugenia Ginsberg-Blaustein
• Dependence and Independence in Social Choice: Arrow’s Theorem
• Cylindric set algebras and IF logic
• Complexity thresholds in inclusion logic
• Characterizing relative frame definability in team semantics via the universal modality
• Logics for propositional determinacy and independence
• Model-theoretic and computational properties of modal dependence logic
• Informational dynamics of epistemic possibility modals
• Supervenience, dependence, disjunction
• Modal dependence logics: axiomatizations and model-theoretic properties
• On the succinctness of atoms of dependency
• Grelling on dependence
• On dependence logic
• Characterizing counterfactuals and dependencies over (generalized) causal teams
• Neglect-zero effects in dynamic semantics
• The expressive power of modal logic with inclusion atoms
• Title not available (Why is that?)
• Complexity of validity for propositional dependence logics
• Team semantics for the specification and verification of hyperproperties
• On quantified propositional logics and the exponential time hierarchy
• Propositional team logics

This page was built for publication: Modal dependence logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4599513)