Pages that link to "Item:Q5213648"
From MaRDI portal
The following pages link to Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648):
Displaying 10 items.
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Arrow's decisive coalitions (Q2179473) (← 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 Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- Counting of Teams in First-Order Team Logics (Q5092378) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
- Modular SAT-based techniques for reasoning tasks in team semantics (Q6615313) (← links)
