Pages that link to "Item:Q466449"
From MaRDI portal
The following pages link to Axiomatizing first-order consequences in independence logic (Q466449):
Displaying 10 items.
- A logical approach to context-specific independence (Q122510) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- A Logical Approach to Context-Specific Independence (Q2820693) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
