Dependence and independence

DOI10.1007/S11225-013-9479-2zbMATH Open1272.03125arXiv1208.5268OpenAlexW1926269500MaRDI QIDQ1956372FDOQ1956372

Jouko Väänänen, Erich Grädel

Publication date: 13 June 2013

Published in: Studia Logica (Search for Journal in Brave)

Abstract: We introduce an atomic formula intuitively saying that given variables are independent from given other variables if a third set of variables is kept constant. We contrast this with dependence logic. We show that our independence atom gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence.

Full work available at URL: https://arxiv.org/abs/1208.5268

zbMATH Keywords

team semanticsaxiomatization of independencelogics of dependence and independencelogics with imperfect information

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Compositional semantics for a language of imperfect information
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• On definability in dependence logic

Cited In (95)

• CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES
• Expressivity and Complexity of Dependence Logic
• Category-theoretic structure for independence and conditional independence
• Title not available (Why is that?)
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• Diversity, dependence and independence
• Title not available (Why is that?)
• On the finite and general implication problems of independence atoms and keys
• Complexity of syntactical tree fragments of independence-friendly logic
• Title not available (Why is that?)
• Dependent pairs
• Propositional logics of dependence
• Reduction of database independence to dividing in atomless Boolean algebras
• LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
• Characterising modal definability of team-based logics via the universal modality
• Explicating logical independence
• From IF to BI. A tale of dependence and separation
• Propositional union closed team logics
• A finite axiomatization of conditional independence and inclusion dependencies
• Separation logic and logics with team semantics
• Questions and dependency in intuitionistic logic
• Independence in Model Theory
• A double team semantics for generalized quantifiers
• Dependence logic with a majority quantifier
• Boolean dependence logic and partially-ordered connectives
• Dependence logic in pregeometries and \(\omega\)-stable theories
• Title not available (Why is that?)
• Dependency Concepts up to Equivalence.
• Grelling on Dependence
• Team semantics for interventionist counterfactuals: observations vs. interventions
• Axiomatizations of team logics
• Complexity of Propositional Independence and Inclusion Logic
• A simple logic of functional dependence
• The expressive power of \(k\)-ary exclusion logic
• A parameterized view on the complexity of dependence logic
• On Dependence Logic
• Approximation and dependence via multiteam semantics
• On Strongly First-Order Dependencies
• Upwards closed dependencies in team semantics
• Dependence and Independence in Social Choice: Arrow’s Theorem
• A logical approach to context-specific independence
• A Logical Approach to Context-Specific Independence
• Flavors of sequential information flow
• On elementary logics for quantitative dependencies
• On definability of team relations with \(k\)-invariant atoms
• On the Presburger fragment of logics with multiteam semantics
• Transition semantics: the dynamics of dependence logic
• Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
• Cooperation in games and epistemic readings of independence-friendly sentences
• Safe dependency atoms and possibility operators in team semantics
• A review of Gaussian Markov models for conditional independence
• Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic
• Context-Specific and Local Independence in Markovian Dependence Structures
• Independence logic and abstract independence relations
• Model Checking and Validity in Propositional and Modal Inclusion Logics
• Axiomatizing first-order consequences in dependence logic
• Characterizing counterfactuals and dependencies over (generalized) causal teams
• Axiomatizing first-order consequences in independence logic
• Coherence in inquisitive first-order logic
• Games for Inclusion Logic and Fixed-Point Logic
• Embedding causal team languages into predicate logic
• Axiomatizing first order consequences in inclusion logic
• Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
• Complexity of validity for propositional dependence logics
• On the complexity of team logic and its two-variable fragment
• Doubly strongly first order dependencies
• Team semantics for the specification and verification of hyperproperties
• Negation and partial axiomatizations of dependence and independence logic revisited
• Propositional team logics
• Reasoning about arbitrary natural numbers from a Carnapian perspective
• Counting of Teams in First-Order Team Logics
• Strongly first order, domain independent dependencies: the union-closed case
• Dynamic Logics of Imperfect Information: From Teams and Games to Transitions
• Compactness in team semantics
• Good-for-Game QPTL: An Alternating Hodges Semantics
• Title not available (Why is that?)
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Title not available (Why is that?)
• Modular SAT-based techniques for reasoning tasks in team semantics
• Dimension in team semantics
• Parameterized complexity of weighted team definability
• Title not available (Why is that?)
• Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
• Title not available (Why is that?)
• Enumerating teams in first-order team logics
• The Expressive Power of k-ary Exclusion Logic
• Multiteam semantics for interventionist counterfactuals: probabilities and causation
• The implication problem for functional dependencies and variants of marginal distribution equivalences
• Breaking the Atom with Samson
• Alternating (in)dependence-friendly logic
• Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
• Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data
• Canonical Models and the Complexity of Modal Team Logic

This page was built for publication: Dependence and independence

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