Dependence and independence
From MaRDI portal
Publication:1956372
DOI10.1007/S11225-013-9479-2zbMATH Open1272.03125arXiv1208.5268OpenAlexW1926269500MaRDI QIDQ1956372FDOQ1956372
Authors: Erich Grädel, Jouko Väänänen 
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
Recommendations
team semanticsaxiomatization of independencelogics of dependence and independencelogics with imperfect information
Cites Work
- Dependence logic. A new approach to independence friendly logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Compositional semantics for a language of imperfect information
- Title not available (Why is that?)
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- Title not available (Why is that?)
- On definability in dependence logic
Cited In (93)
- 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
- Context-specific and local independence in Markovian dependence structures
- Dependent pairs
- Propositional logics of dependence
- Reduction of database independence to dividing in atomless Boolean algebras
- Counting of Teams in First-Order Team Logics
- Games for inclusion logic and fixed-point logic
- Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
- 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
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- 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.
- 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
- Approximation and dependence via multiteam semantics
- Tractability frontier of data complexity in team semantics
- Upwards closed dependencies in team semantics
- Dependence and Independence in Social Choice: Arrow’s Theorem
- Dependence of variables construed as an atomic formula
- A logical approach to context-specific independence
- A Logical Approach to Context-Specific Independence
- Flavors of sequential information flow
- Logics for propositional determinacy and independence
- Enumerating teams in first-order team logics
- On elementary logics for quantitative dependencies
- On definability of team relations with \(k\)-invariant atoms
- On the Presburger fragment of logics with multiteam semantics
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
- Independence in model theory
- Cooperation in games and epistemic readings of independence-friendly sentences
- Grelling on dependence
- 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
- Independence logic and abstract independence relations
- On dependence logic
- Axiomatizing first-order consequences in dependence logic
- Characterizing counterfactuals and dependencies over (generalized) causal teams
- Axiomatizing first-order consequences in independence logic
- Model checking and validity in propositional and modal inclusion logics
- Coherence in inquisitive first-order logic
- Embedding causal team languages into predicate logic
- Axiomatizing first order consequences in inclusion logic
- On strongly first-order dependencies
- 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
- Propositional team logics
- Reasoning about arbitrary natural numbers from a Carnapian perspective
- Breaking the atom with Samson
- Strongly first order, domain independent dependencies: the union-closed case
- Compactness in team semantics
- Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
- Good-for-Game QPTL: An Alternating Hodges Semantics
- Canonical models and the complexity of modal team logic
- 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?)
- The expressive power of \(k\)-ary exclusion logic
- Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence
- Title not available (Why is that?)
- Characterizing relative frame definability in team semantics via the universal modality
- Multiteam semantics for interventionist counterfactuals: probabilities and causation
- On the succinctness of atoms of dependency
- The implication problem for functional dependencies and variants of marginal distribution equivalences
- Alternating (in)dependence-friendly logic
- Dynamic logics of imperfect information: from teams and games to transitions
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)
