Pages that link to "Item:Q2655324"
From MaRDI portal
The following pages link to Social choice theory in HOL. Arrow and Gibbard-Satterthwaite (Q2655324):
Displaying 11 items.
- Arrow Gibbard Satterthwaite (Q40361) (← links)
- 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)
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Arrow's decisive coalitions (Q2179473) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← 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)
