Arrow Gibbard Satterthwaite

swMATH28647MaRDI QIDQ40361FDOQ40361

Author name not available (Why is that?)

Described by source

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

Cited In (7)

• Towards formal foundations for game theory
• 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
• Representing voting rules in Łukasiewicz’s three-valued logic

This page was built for software: Arrow Gibbard Satterthwaite