The following pages link to On Dependence Logic (Q5249667):
Displayed 7 items.
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence (Q2172822) (← links)
- Explicating logical independence (Q2301324) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)