The following pages link to Arrow Gibbard Satterthwaite (Q40361):
Displayed 7 items.
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Formalizing Arrow's theorem (Q1040010) (← links)
- Towards formal foundations for game theory (Q1791194) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)
- Foreword (Q5891934) (← links)