Pages that link to "Item:Q388209"
From MaRDI portal
The following pages link to Axiomatizing first-order consequences in dependence logic (Q388209):
Displaying 16 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)
- Breaking the Atom with Samson (Q4922090) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES (Q5195061) (← links)
- Context-Specific and Local Independence in Markovian Dependence Structures (Q5213647) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- On Dependence Logic (Q5249667) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
