Pages that link to "Item:Q388209"
From MaRDI portal
The following pages link to Axiomatizing first-order consequences in dependence logic (Q388209):
Displaying 12 items.
- A logical approach to context-specific independence (Q122510) (← links)
- Propositional logics of dependence (Q278765) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Negation and partial axiomatizations of dependence and independence logic revisited (Q2273016) (← links)
- Dependence logic with generalized quantifiers: axiomatizations (Q2361348) (← links)
- Boolean dependence logic and partially-ordered connectives (Q2361349) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Axiomatizations of team logics (Q2636536) (← 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)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
