Arrow Gibbard Satterthwaite

swMATH28647MaRDI QIDQ40361FDOQ40361

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/ArrowImpossibilityGS.html

Described by source

• Social choice theory in HOL. Arrow and Gibbard-Satterthwaite

Cited In (10)

• Representing voting rules in Łukasiewicz's three-valued logic
• ForMaRE
• Towards formal foundations for game theory
• Social Choice Theory
• Stable Matching
• Formalizing Arrow's theorem
• Using Theorema in the Formalization of Theoretical Economics
• An introduction to mechanized reasoning
• First-order logic formalisation of impossibility theorems in preference aggregation
• Foreword

This page was built for software: Arrow Gibbard Satterthwaite