Pages that link to "Item:Q1949170"
From MaRDI portal
The following pages link to General models and entailment semantics for independence logic (Q1949170):
Displayed 5 items.
- Propositional logics of dependence (Q278765) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)