Pages that link to "Item:Q5351964"
From MaRDI portal
The following pages link to Axiomatizing Propositional Dependence Logics (Q5351964):
Displaying 17 items.
- Propositional logics of dependence (Q278765) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- A sound and complete axiomatization of embedded cross dependencies (Q759482) (← links)
- Team semantics for interventionist counterfactuals: observations vs. interventions (Q2037298) (← 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)
- Properties of the logical consequence operation and its relationship with the independence of propositional logic (Q2274565) (← links)
- Axiomatizations of team logics (Q2636536) (← links)
- Complexity of Propositional Independence and Inclusion Logic (Q2946342) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- (Q4965820) (← links)
- Modal dependence logics: axiomatizations and model-theoretic properties (Q5095630) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- (Q5376655) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)