{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T14:12:12Z","timestamp":1781705532357,"version":"3.54.5"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,7,25]],"date-time":"2012-07-25T00:00:00Z","timestamp":1343174400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s10992-012-9240-8","type":"journal-article","created":{"date-parts":[[2012,7,24]],"date-time":"2012-07-24T12:42:36Z","timestamp":1343133756000},"page":"595-618","source":"Crossref","is-referenced-by-count":13,"title":["First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation"],"prefix":"10.1007","volume":"42","author":[{"given":"Umberto","family":"Grandi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulle","family":"Endriss","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2012,7,25]]},"reference":[{"issue":"1","key":"9240_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/s10458-009-9115-8","volume":"22","author":"T \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes, T., van\u00a0der Hoek, W., & Wooldridge, M. (2009). On the logic of preference and judgment aggregation. Autonomous Agents and Multi-Agents Systems, 22(1), 4\u201330.","journal-title":"Autonomous Agents and Multi-Agents Systems"},{"key":"9240_CR2","unstructured":"Arrow, K.\u00a0J. (1963). Social choice and individual values, 2nd edition. John Wiley & Sons."},{"key":"9240_CR3","unstructured":"Arrow, K.\u00a0J., Sen, A.\u00a0K., & Suzumura, K. (Eds.) (2002). Handbook of social choice and welfare. North-Holland."},{"issue":"1","key":"9240_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1086\/256633","volume":"56","author":"D Black","year":"1948","unstructured":"Black, D. (1948). On the rationale of group decision-making. The Journal of Political Economy, 56(1), 23\u201334.","journal-title":"The Journal of Political Economy"},{"issue":"2","key":"9240_CR5","doi-asserted-by":"publisher","first-page":"302","DOI":"10.2307\/1910256","volume":"25","author":"JH Blau","year":"1957","unstructured":"Blau, J.\u00a0H. (1957). The existence of social welfare functions. Econometrica, 25(2), 302\u2013313.","journal-title":"Econometrica"},{"issue":"152","key":"9240_CR6","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/2551881","volume":"38","author":"JH Blau","year":"1971","unstructured":"Blau, J.\u00a0H. (1971). Arrow\u2019s Theorem with weak independence. Economica, 38(152), 413\u2013420.","journal-title":"Economica"},{"key":"9240_CR7","unstructured":"Burdman\u00a0Feferman, A., & Feferman, S. (2004). Alfred Tarski: Life and logic. Cambridge University Press."},{"key":"9240_CR8","unstructured":"Davey, B.\u00a0A., & Priestley, H.\u00a0A. (1990). Introduction to lattices and orders. Cambridge University Press."},{"key":"9240_CR9","unstructured":"Ebbinghaus, H.\u00a0D., & Flum, J. (1999). Finite model theory. Springer."},{"key":"9240_CR10","unstructured":"Enderton, H.\u00a0B. (1972). A mathematical introduction to logic. Academic Press."},{"key":"9240_CR11","unstructured":"Endriss, U. (2011). Logic and social choice theory. In A. Gupta & J. van Benthem (Eds.), Logic and philosophy today (Vol.\u00a02, pp. 333\u2013377). College Publications."},{"issue":"1","key":"9240_CR12","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-0531(70)90015-3","volume":"2","author":"PC Fishburn","year":"1970","unstructured":"Fishburn, P.\u00a0C. (1970). Arrow\u2019s impossibility theorem: Concise proof and infinite voters. Journal of Economic Theory, 2(1), 103\u2013106.","journal-title":"Journal of Economic Theory"},{"key":"9240_CR13","doi-asserted-by":"crossref","unstructured":"Gaertner, W. (2001). Domain conditions in social choice theory. Cambridge University Press.","DOI":"10.1017\/CBO9780511492303"},{"key":"9240_CR14","doi-asserted-by":"crossref","unstructured":"Gaertner, W. (2006). A primer in social choice theory. Oxford University Press.","DOI":"10.1093\/oso\/9780199297504.001.0001"},{"issue":"1","key":"9240_CR15","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s00199-004-0556-7","volume":"26","author":"J Geanakoplos","year":"2005","unstructured":"Geanakoplos, J. (2005). Three brief proofs of Arrow\u2019s impossibility theorem. Economic Theory, 26(1), 211\u2013215.","journal-title":"Economic Theory"},{"key":"9240_CR16","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1613\/jair.3126","volume":"40","author":"C Geist","year":"2011","unstructured":"Geist, C., & Endriss, U. (2011). Automated search for impossibility theorems in social choice theory: Ranking sets of objects. Journal of Artificial Intelligence Research, 40, 143\u2013174.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9240_CR17","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10992-011-9203-5","volume":"41","author":"F Herzberg","year":"2012","unstructured":"Herzberg, F., & Eckert, D. (2012). Impossibility results for infinite-electorate abstract aggregation rules. Journal of Philosophical Logic, 41, 273\u2013286.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9240_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0022-0531(72)90106-8","volume":"5","author":"A Kirman","year":"1972","unstructured":"Kirman, A., & Sondermann, D. (1972). Arrow\u2019s Theorem, many agents, and invisible dictators. Journal of Economic Theory, 5(2), 267\u2013277.","journal-title":"Journal of Economic Theory"},{"key":"9240_CR19","unstructured":"Lin, F. (2007). Finitely-verifiable classes of sentences. Presented at the 8th international symposium on logical formalizations of commonsense reasoning, Stanford."},{"key":"9240_CR20","doi-asserted-by":"crossref","unstructured":"McCune, W. (2003). ANL\/MCS-TM-263 OTTER 3.3 reference manual. Technical memo, Argonne National Laboratory, Argonne.","DOI":"10.2172\/822573"},{"issue":"3","key":"9240_CR21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s10817-009-9147-4","volume":"43","author":"T Nipkow","year":"2009","unstructured":"Nipkow, T. (2009). Social choice theory in HOL: Arrow and Gibbard-Satterthwaite. Journal of Automated Reasoning, 43(3), 289\u2013304.","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"9240_CR22","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s11229-007-9200-y","volume":"163","author":"M Pauly","year":"2008","unstructured":"Pauly, M. (2008). On the role of language in social choice theory. Synthese, 163(2), 227\u2013243.","journal-title":"Synthese"},{"key":"9240_CR23","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1093\/logcom\/exn012","volume":"19","author":"MS Pini","year":"2009","unstructured":"Pini, M.\u00a0S., Rossi, F., Venable, K.\u00a0B., & Walsh, T. (2009). Aggregating partially ordered preferences. Journal of Logic and Computation, 19, 475\u2013502.","journal-title":"Journal of Logic and Computation"},{"key":"9240_CR24","doi-asserted-by":"crossref","unstructured":"Schulz, S. (2004). System description: E\u00a00.81. In Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR-2004).","DOI":"10.1007\/978-3-540-25984-8_15"},{"issue":"1","key":"9240_CR25","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1086\/259614","volume":"78","author":"AK Sen","year":"1970","unstructured":"Sen, A.\u00a0K. (1970). The impossibility of a Paretian liberal. The Journal of Political Economics, 78(1), 152\u2013157.","journal-title":"The Journal of Political Economics"},{"key":"9240_CR26","unstructured":"Tang, P. (2010). Computer-aided theorem discovery: A new adventure and its application to economic theory. Ph.D. Thesis, Hong Kong University of Science and Technology."},{"issue":"11","key":"9240_CR27","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1016\/j.artint.2009.02.005","volume":"173","author":"P Tang","year":"2009","unstructured":"Tang, P., & Lin, F. (2009). Computer-aided proofs of Arrow\u2019s and other impossibility theorems. Artificial Intelligence, 173(11), 1041\u20131053.","journal-title":"Artificial Intelligence"},{"key":"9240_CR28","doi-asserted-by":"crossref","unstructured":"Taylor, A.\u00a0D. (2005). Social choice and the mathematics of manipulation. Cambridge University Press.","DOI":"10.1017\/CBO9780511614316"},{"key":"9240_CR29","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10992-011-9189-z","volume":"40","author":"N Troquard","year":"2011","unstructured":"Troquard, N., van\u00a0der Hoek, W., & Wooldridge, M. (2011). Reasoning about social choice functions. Journal of Philosophical Logic, 40, 473\u2013498.","journal-title":"Journal of Philosophical Logic"},{"key":"9240_CR30","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2007). Dependence logic. Cambridge University Press.","DOI":"10.1017\/CBO9780511611193"},{"issue":"4","key":"9240_CR31","doi-asserted-by":"publisher","first-page":"171","DOI":"10.2478\/v10037-007-0020-9","volume":"15","author":"F Wiedijk","year":"2007","unstructured":"Wiedijk, F. (2007) Arrow\u2019s impossibility theorem. Formalized Mathematics, 15(4), 171\u2013174.","journal-title":"Formalized Mathematics"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9240-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9240-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9240-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9240-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,27]],"date-time":"2024-04-27T12:09:59Z","timestamp":1714219799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9240-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,25]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["9240"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9240-8","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,25]]}}}