Automated Reasoning in Social Choice Theory: Some Remarks

Arlegi R.: A note on Bossert, Pattanaik and Xu’s—choice under complete uncertainty: axiomatic characterization of some decision rules. Econ. Theory 22(1), 219–225 (2003)

Aswal N., Chatterji S., Sen A.: Dictatorial domains. Econ. Theory 22(1), 45–62 (2003)

Bossert W., Pattanaik P.K., Xu Y.: Choice under complete uncertainty: axiomatic characterization of some decision rules. Econ. Theory 16(2), 295–312 (2000)

Geist C., Endriss U.: Automated search for impossibility theorems in social choice theory: ranking sets of objects. J. Artif. Intell. Res. 40, 143–174 (2011)

Gibbard A.F.: Manipulation of voting schemes that mix voting with chance. Econometrica 45, 665–681 (1977)

Kreps D.M.: A representation theorem for “preferences for flexibility”. Econometrica 47(3), 565–578 (1979)

Malwaski M., Zhou L.: A note on social choice theory without the Pareto principle. Soc. Choice Welf. 11(2), 103–107 (1994)

Moulin H.: On strategyproofness and single-peakedness. Public Choice 35(4), 437–455 (1980)

Myerson R.B.: Optimal auction design. Math. Oper. Res. 6(1), 58–73 (1981)

Pápai S.: Strategyproof assignment by hierarchical exchange. Econometrica 68(6), 1403–1433 (2000)

Sato S.: Strategyproof social choice with exogenous indifference classes. Math. Soc. Sci. 57(1), 48–57 (2009)

Schmeidler D., Sonnenschein H.F.: Two proofs of the Gibbard-Satterthwaite theorem on the possibility of a strategy-proof social choice function. In: Gottinger, H.W., Leinfeller, W. (eds.) Decision Theory and Social Ethics, Issues in Social Choice, pp. 227–234. D. Reidel, Dordrecht (1978)

Sen, A.K.: Social choice theory. In Arrow, K., Intriligator, M. (eds) Handbook of Mathematical Economics, vol. III, pp. 1073–1181. North-Holland, Amsterdam (1986)

Sen A.: Another direct proof of the Gibbard-Satterthwaite theorem. Econ. Lett. 70, 381–385 (2001)

Tang, P., Lin, F.: A computer-aided proof to Gibbard-Satterthwaite theorem (mimeo) (2008)

Tang P., Lin F.: Computer-aided proofs of Arrow’s and other impossibility theorems. Artif. Intell. 173, 1041–1053 (2009)