Pages that link to "Item:Q388209"
From MaRDI portal
The following pages link to Axiomatizing first-order consequences in dependence logic (Q388209):
Displaying 20 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)
- A sound and complete axiomatization of embedded cross dependencies (Q759482) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← 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)
- Axiomatization of a Denotational Semantics for First-order Logic (Q4659577) (← 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)
- Strongly first order, domain independent dependencies: the union-closed case (Q6160748) (← links)
