The following pages link to Dependence and independence (Q1956372):
Displaying 50 items.
- A logical approach to context-specific independence (Q122510) (← links)
- On the finite and general implication problems of independence atoms and keys (Q269507) (← links)
- Propositional logics of dependence (Q278765) (← links)
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- Dependence logic with a majority quantifier (Q302214) (← links)
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Propositional team logics (Q526967) (← links)
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions (Q744991) (← links)
- Upwards closed dependencies in team semantics (Q897651) (← links)
- Cooperation in games and epistemic readings of independence-friendly sentences (Q1689283) (← links)
- Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic (Q1693039) (← links)
- Approximation and dependence via multiteam semantics (Q1783737) (← links)
- Complexity of syntactical tree fragments of independence-friendly logic (Q2003922) (← links)
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← links)
- Characterizing counterfactuals and dependencies over (generalized) causal teams (Q2080697) (← links)
- The implication problem for functional dependencies and variants of marginal distribution equivalences (Q2103913) (← links)
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Doubly strongly first order dependencies (Q2148777) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Flavors of sequential information flow (Q2152640) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence (Q2172822) (← links)
- On elementary logics for quantitative dependencies (Q2172823) (← links)
- On the Presburger fragment of logics with multiteam semantics (Q2172824) (← links)
- On definability of team relations with \(k\)-invariant atoms (Q2172825) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- The expressive power of \(k\)-ary exclusion logic (Q2273014) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- A review of Gaussian Markov models for conditional independence (Q2301082) (← links)
- Explicating logical independence (Q2301324) (← links)
- Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty (Q2446551) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (Q2805022) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- The Expressive Power of k-ary Exclusion Logic (Q2820708) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
