Pages that link to "Item:Q840816"

The following pages link to Computer-aided proofs of Arrow's and other impossibility theorems (Q840816):

Displaying 21 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)
• Brief proofs of Arrovian impossibility theorems (Q989978) (← links)
• Formalizing Arrow's theorem (Q1040010) (← links)
• On computer-assisted proofs in ordinal number theory (Q1284712) (← 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)
• Proving Arrow's theorem by \texttt{PROLOG} (Q2385186) (← links)
• Social choice theory in HOL. Arrow and Gibbard-Satterthwaite (Q2655324) (← links)
• Strategyproof social choice when preferences and outcomes may contain ties (Q2673159) (← links)
• The Robbins problem: computer proofs and human proofs (Q2746807) (← links)
• Finding strategyproof social choice functions via SAT solving (Q2794662) (← links)
• Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects (Q3081450) (← links)
• (Q3384086) (← links)
• Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
• Dependence and Independence in Social Choice: Arrow’s Theorem (Q5213648) (← links)
• Foreword (Q5891934) (← links)