The following pages link to Propositional logics of dependence (Q278765):
Displayed 7 items.
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Propositional team logics (Q526967) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)