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 20 items.
- Arrow Gibbard Satterthwaite (Q40361) (← links)
- Arrovian social choice with psychological thresholds (Q268627) (← links)
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- Between Arrow and Gibbard-Satterthwaite. A representation theoretic approach (Q466073) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Computer-aided proofs of Arrow's and other impossibility theorems (Q840816) (← links)
- Formalizing Arrow's theorem (Q1040010) (← links)
- The birth of social choice theory from the spirit of mathematical logic: Arrow's theorem in the framework of model theory (Q1615988) (← links)
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- Allan Gibbard (Q2064135) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Arrow's decisive coalitions (Q2179473) (← links)
- Proving Arrow's theorem by \texttt{PROLOG} (Q2385186) (← links)
- Guilbaud’s 1952 theorem on the logical problem of aggregation (Q3074400) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- (Q4669423) (← links)
- Representing voting rules in Łukasiewicz’s three-valued logic (Q5074371) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)
- Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
- Foreword (Q5891934) (← links)