The following pages link to Dependence and independence (Q1956372):
Displayed 27 items.
- 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)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← 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)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Breaking the Atom with Samson (Q4922090) (← links)
- On Dependence Logic (Q5249667) (← links)
- Independence logic and abstract independence relations (Q5258482) (← links)