Modal dependence logic

MaRDI QIDQ4599513zbMATH OpenFDO

Authors Jouko Väänänen

Publication date 3 January 2018

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)

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

Cited in

(47)

• Team semantics for the specification and verification of hyperproperties
• On quantified propositional logics and the exponential time hierarchy
• Expressivity and Complexity of Dependence Logic
• Diversity, dependence and independence
• Modal inclusion logic: being lax is simpler than being strict
• Propositional logics of dependence
• INQUISITIVE BISIMULATION
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
• Equivalence criteria for compositional IF modal logics
• Reducing Modal Consequence Relations
• Dependence logic with a majority quantifier
• Questions and dependency in intuitionistic logic
• Canonical models and the complexity of modal team logic
• Boolean dependence logic and partially-ordered connectives
• A generalization of inquisitive semantics
• State-based modal logics for free choice
• Intermediate logics in the setting of team 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
• Epistemic operators in dependence logic
• 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
• The expressive power of modal dependence logic
• Dependency as question entailment
• 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
• Informational dynamics of epistemic possibility modals
• Logics for propositional determinacy and independence
• Model-theoretic and computational properties of modal dependence logic
• Supervenience, dependence, disjunction
• Modal dependence logics: axiomatizations and model-theoretic properties
• On the succinctness of atoms of dependency
• Grelling on dependence
• Axiomatizing modal inclusion logic and its variants
• Characterizing counterfactuals and dependencies over (generalized) causal teams
• On dependence logic
• The expressive power of modal logic with inclusion atoms
• Neglect-zero effects in dynamic semantics
• Complexity of validity for propositional dependence logics
• scientific article; zbMATH DE number 7056228 (Why is no real title available?)
• 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)