Pages that link to "Item:Q840816"
From MaRDI portal
The following pages link to Computer-aided proofs of Arrow's and other impossibility theorems (Q840816):
Displaying 13 items.
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs (Q420790) (← links)
- Automated reasoning in social choice theory: some remarks (Q475377) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Computer-aided proofs of Arrow's and other impossibility theorems (Q840816) (← links)
- Optimal bounds for the no-show paradox via SAT solving (Q1680092) (← links)
- Natural deduction for modal logic of judgment aggregation (Q1698339) (← links)
- Arrow's decisive coalitions (Q2179473) (← links)
- Strategyproof social choice when preferences and outcomes may contain ties (Q2673159) (← links)
- (Q3384086) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- Foreword (Q5891934) (← links)
