Dependence and independence
From MaRDI portal
Publication:1956372
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
team semanticsaxiomatization of independencelogics of dependence and independencelogics with imperfect information
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- On definability in dependence logic
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable
- Compositional semantics for a language of imperfect information
This page was built for publication: Dependence and independence
