Dependence and independence

DOI10.1007/s11225-013-9479-2zbMath1272.03125arXiv1208.5268OpenAlexW1926269500MaRDI QIDQ1956372

Publication date: 13 June 2013

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

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

zbMATH Keywords

team semantics axiomatization of independence logics of dependence and independence logics with imperfect information

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (84)

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

Cites Work

This page was built for publication: Dependence and independence