{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T16:39:22Z","timestamp":1770136762264,"version":"3.49.0"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319318011","type":"print"},{"value":"9783319318035","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31803-5_11","type":"book-chapter","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T13:12:03Z","timestamp":1467205923000},"page":"235-260","source":"Crossref","is-referenced-by-count":15,"title":["Dependence and Independence in Social Choice: Arrow\u2019s Theorem"],"prefix":"10.1007","author":[{"given":"Eric","family":"Pacuit","sequence":"first","affiliation":[]},{"given":"Fan","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1515\/9781614516873.15","volume-title":"Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics","author":"S. Abramsky","year":"2015","unstructured":"Abramsky, S.: Arrow\u2019s theorem by arrow theory. In: Villaveces, A., Kossak, R., Kontinen, J. Hirvonen, \u00c5. (eds.) Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, pp.\u00a015\u201330. De Gruyter, Boston, MA (2015)"},{"issue":"1","key":"11_CR2","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10458-009-9115-8","volume":"22","author":"T. Agotnes","year":"2009","unstructured":"Agotnes, T., van der Hoek, W., Wooldridge, M.: On the logic of preference and judgment aggregation. Auton. Agent. Multi-Agent Syst. 22 (1), 4\u201330 (2009)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"11_CR3","volume-title":"Social Choice and Individual Values","author":"K.J. Arrow","year":"1951","unstructured":"Arrow, K.J.: Social Choice and Individual Values. Yale University Press, New Haven, CT (1951)"},{"issue":"152","key":"11_CR4","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2551881","volume":"38","author":"J.H. Blau","year":"1971","unstructured":"Blau, J.H.: Arrow\u2019s theorem with weak independence. Economica 38 (152), 413\u2013420 (1971)","journal-title":"Economica"},{"key":"11_CR5","first-page":"35","volume":"1","author":"D.E. Campbell","year":"2002","unstructured":"Campbell, D.E., Kelly, J.S.: Impossibility theorems in the Arrovian framework. In: Arrow, K.J., Suzumura, A.S.K. (eds.) Handbook of Social Choice and Welfare, Elsevier, vol.\u00a01, pp.\u00a035\u201394 (2002)","journal-title":"Elsevier"},{"issue":"1","key":"11_CR6","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s00355-006-0193-0","volume":"29","author":"D.E. Campbell","year":"2007","unstructured":"Campbell, D.E., Kelly, J.S.: Social welfare functions that satisfy Pareto, anonymity, and neutrality, but not independence of irrelevant alternatives. Soc. Choice Welf. 29 (1), 69\u201382 (2007)","journal-title":"Soc. Choice Welf."},{"issue":"4","key":"11_CR7","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/s11238-013-9384-1","volume":"76","author":"S. Cato","year":"2014","unstructured":"Cato, S.: Independence of irrelevant alternatives revisited. Theor. Decis. 76 (4), 511\u2013527 (2014)","journal-title":"Theor. Decis."},{"key":"11_CR8","unstructured":"Cin\u00e1, G., Endriss, U.: A syntactic proof of Arrow\u2019s theorem in a modal logic of social choice functions. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015) (2015)"},{"issue":"1","key":"11_CR9","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1086\/292814","volume":"97","author":"J.L. Coleman","year":"1986","unstructured":"Coleman, J.L., Ferejohn, J.: Democracy and social choice. Ethics 97 (1), 6\u201325 (1986)","journal-title":"Ethics"},{"key":"11_CR10","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-0531(70)90015-3","volume":"2","author":"P. Fishburn","year":"1970","unstructured":"Fishburn, P.: Arrow\u2019s impossibility theorem: concise proof and infinitely many voters. J. Econ. Theory 2, 103\u2013106 (1970)","journal-title":"J. Econ. Theory"},{"issue":"1","key":"11_CR11","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P. Galliani","year":"2012","unstructured":"Galliani, P.: Inclusion and exclusion in team semantics: on some logics of imperfect information. Ann. Pure Appl. Log. 163 (1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Log."},{"issue":"1","key":"11_CR12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s00199-004-0556-7","volume":"26","author":"J. Geanakoplos","year":"2005","unstructured":"Geanakoplos, J.: Three brief proofs of Arrow\u2019s theorem. Econ. Theory 26 (1), 211\u2013215 (2005)","journal-title":"Econ. Theory"},{"issue":"3","key":"11_CR13","doi-asserted-by":"crossref","first-page":"587","DOI":"10.2307\/1914083","volume":"41","author":"A. Gibbard","year":"1973","unstructured":"Gibbard, A.: Manipulation of voting schemes: a general result. Econometrica 41 (3), 587\u2013601 (1973)","journal-title":"Econometrica"},{"issue":"2","key":"11_CR14","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E. Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., V\u00e4\u00e4n\u00e4nen, J.: Dependence and independence. Stud. Logica 101 (2), 399\u2013410 (2013)","journal-title":"Stud. Logica"},{"issue":"4","key":"11_CR15","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/s10992-012-9240-8","volume":"42","author":"U. Grandi","year":"2013","unstructured":"Grandi, U., Endriss, U.: First-order logic formalisation of impossibility theorems in preference aggregation. J. Philos. Log. 42 (4), 595\u2013618 (2013)","journal-title":"J. Philos. Log."},{"issue":"1","key":"11_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.apal.2014.09.002","volume":"166","author":"M. Hannula","year":"2015","unstructured":"Hannula, M.: Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Log. 166 (1), 61\u201391 (2015)","journal-title":"Ann. Pure Appl. Log."},{"key":"11_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139058537","volume-title":"Preference, Value","author":"D.M. Hausman","year":"2011","unstructured":"Hausman, D.M.: Preference, Value, Choice and Welfare. Cambridge University Press, Cambridge (2011)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Herzberg, F., Eckert, D.: The model-theoretic approach to aggregation: impossibility results for finite and infinite electorates. Math. Soc. Sci. 1 (2012), 41\u201347 (64)","DOI":"10.1016\/j.mathsocsci.2011.08.004"},{"key":"11_CR19","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00125755","volume":"34","author":"E. Kalai","year":"1979","unstructured":"Kalai, E., Muller, E., Satterthwaite, M.A.: Social welfare functions when preferences are convex and continuous: Impossibility results. Public Choice 34, 87\u201397 (1979)","journal-title":"Public Choice"},{"key":"11_CR20","volume-title":"Arrow Impossibility Theorems","author":"J.S. Kelly","year":"1978","unstructured":"Kelly, J.S.: Arrow Impossibility Theorems. Academic, New York (1978)"},{"key":"11_CR21","doi-asserted-by":"crossref","first-page":"59","DOI":"10.2307\/2553016","volume":"43","author":"M.C. Kemp","year":"1976","unstructured":"Kemp, M.C., Ng, Y.K.: On the existence of social welfare functions, social orderings and social decision functions. Economica 43, 59\u201366 (1976)","journal-title":"Economica"},{"key":"11_CR22","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0022-0531(72)90106-8","volume":"5","author":"A.P. Kirman","year":"1972","unstructured":"Kirman, A.P., Sondermann, D.: Arrow\u2019s theorem, many agents and invisible dictators. J. Econ. Theory 5, 267\u2013277 (1972)","journal-title":"J. Econ. Theory"},{"key":"11_CR23","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1515\/9781614516873.297","volume-title":"Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics","author":"J. Kontinen","year":"2015","unstructured":"Kontinen, J.: On natural deduction in dependence logic. In: Villaveces, A., Kossak, R., Kontinen, J., Hirvonen, A. (eds.) Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, pp.\u00a0297\u2013304. De Gruyter, Boston, MA (2015)"},{"issue":"3","key":"11_CR24","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10849-009-9082-0","volume":"18","author":"J. Kontinen","year":"2009","unstructured":"Kontinen, J., V\u00e4\u00e4n\u00e4nen, J.: On definability in dependence logic. J. Log. Lang. Inf. 18(3), 317\u2013332 (2009)","journal-title":"J. Log. Lang. Inf."},{"issue":"11","key":"11_CR25","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1016\/j.apal.2013.05.006","volume":"164","author":"J. Kontinen","year":"2013","unstructured":"Kontinen, J., V\u00e4\u00e4n\u00e4nen, J.: Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. 164 (11), 1101\u20131117 (2013)","journal-title":"Ann. Pure Appl. Log."},{"key":"11_CR26","unstructured":"List, C.: Social choice theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Winter 2013 edn. (2013)"},{"key":"11_CR27","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511490293","volume-title":"Democracy Defended","author":"G. Mackie","year":"2003","unstructured":"Mackie, G.: Democracy Defended. Cambridge University Press, Cambridge (2003)"},{"issue":"4","key":"11_CR28","doi-asserted-by":"crossref","first-page":"680","DOI":"10.2307\/1907651","volume":"20","author":"K. May","year":"1952","unstructured":"May, K.: A set of independent necessary and sufficient conditions for simply majority decision. Econometrica 20 (4), 680\u2013684 (1952)","journal-title":"Econometrica"},{"key":"11_CR29","doi-asserted-by":"crossref","first-page":"469","DOI":"10.5840\/jphil2010107931","volume":"107","author":"M. Morreau","year":"2010","unstructured":"Morreau, M.: It simply does not add up: trouble with overall similarity. J. Philos. 107, 469\u2013490 (2010)","journal-title":"J. Philos."},{"key":"11_CR30","unstructured":"Morreau, M.: Arrow\u2019s theorem. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Winter 2014 edn. (2014)"},{"key":"11_CR31","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1007\/s10670-013-9549-x","volume":"79","author":"M. Morreau","year":"2014","unstructured":"Morreau, M.: Mr. Fit, Mr. Simplicity and Mr. Scope: from social choice to theory choice. Erkenntnis 79, 1253\u20131268 (2014)","journal-title":"Erkenntnis"},{"key":"11_CR32","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1016\/0022-0531(77)90140-5","volume":"14","author":"E. Muller","year":"1977","unstructured":"Muller, E., Satterthwaite, M.A.: The equivalence of strong positive association and strategy-proofness. J. Econ. Theory 14, 412\u2013418 (1977)","journal-title":"J. Econ. Theory"},{"key":"11_CR33","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/mind\/fzr010","volume":"120","author":"S. Okasha","year":"2011","unstructured":"Okasha, S.: Theory choice and social choice: Kuhn versus Arrow. Mind 120, 83\u2013115 (2011)","journal-title":"Mind"},{"key":"11_CR34","unstructured":"Pacuit, E.: Voting methods. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Winter 2012 edn. (2012)"},{"issue":"3","key":"11_CR35","doi-asserted-by":"crossref","first-page":"447","DOI":"10.2307\/2297221","volume":"43","author":"R.P. Parks","year":"1976","unstructured":"Parks, R.P.: An impossibility theorem for fixed preferences: a dictatorial Bergson-Samuelson welfare function. Rev. Econ. Stud. 43 (3), 447\u2013450 (1976)","journal-title":"Rev. Econ. Stud."},{"key":"11_CR36","volume-title":"Liberalism Against Populism","author":"W.H. Riker","year":"1982","unstructured":"Riker, W.H.: Liberalism Against Populism. W. H. Freeman, San Francisco, CA (1982)"},{"issue":"2","key":"11_CR37","doi-asserted-by":"crossref","first-page":"441","DOI":"10.2307\/2297003","volume":"47","author":"K.W.S. Roberts","year":"1980","unstructured":"Roberts, K.W.S.: Social choice theory: the single-profile and multi-profile approaches. Rev. Econ. Stud. 47 (2), 441\u2013450 (1980)","journal-title":"Rev. Econ. Stud."},{"issue":"3","key":"11_CR38","doi-asserted-by":"crossref","first-page":"719","DOI":"10.2307\/2526229","volume":"25","author":"A. Rubinstein","year":"1984","unstructured":"Rubinstein, A.: The single profile analogues to multi profile theorems: mathematical logic\u2019s approach. Int. Econ. Rev. 25 (3), 719\u2013730 (1984)","journal-title":"Int. Econ. Rev."},{"issue":"1","key":"11_CR39","first-page":"55","volume":"15","author":"D. Saari","year":"2000","unstructured":"Saari, D.: Mathematical structure of voting paradoxes: II. Positional voting. J. Econ. Theory 15 (1), 55\u2013102 (2000)","journal-title":"Positional voting. J. Econ. Theory"},{"key":"11_CR40","volume-title":"Chaotic Elections!","author":"D. Saari","year":"2001","unstructured":"Saari, D.: Chaotic Elections! A Mathematician Looks at Voting. American Mathematical Society, Providence, RI (2001)"},{"issue":"2","key":"11_CR41","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0022-0531(75)90050-2","volume":"10","author":"M.A. Satterthwaite","year":"1975","unstructured":"Satterthwaite, M.A.: Strategy-proofness and Arrow\u2019s conditions: existence and correspondence theorems for voting procedures and social welfare functions. J. Econ. Theory 10 (2), 187\u2013217 (1975)","journal-title":"J. Econ. Theory"},{"issue":"3","key":"11_CR42","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1257\/aer.89.3.349","volume":"89","author":"A. Sen","year":"1999","unstructured":"Sen, A.: The possibility of social choice. Am. Econ. Rev. 89 (3), 349\u2013378 (1999)","journal-title":"Am. Econ. Rev."},{"key":"11_CR43","volume-title":"The Arrow Impossibility Theorem","author":"A. Sen","year":"2014","unstructured":"Sen, A., Maskin, E.: The Arrow Impossibility Theorem. Columbia University Press, New York (2014)"},{"issue":"2","key":"11_CR44","doi-asserted-by":"crossref","first-page":"2391","DOI":"10.1007\/s11229-011-9973-x","volume":"190","author":"J. Stegenga","year":"2013","unstructured":"Stegenga, J.: An impossibility theorem for amalgamating evidence. Synthese 190 (2), 2391\u20132411 (2013)","journal-title":"Synthese"},{"issue":"11","key":"11_CR45","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1016\/j.artint.2009.02.005","volume":"173","author":"P. Tang","year":"2009","unstructured":"Tang, P., Lin, F.: Computer-aided proofs of Arrow\u2019s and other impossibility theorems. Artif. Intell. 173 (11), 1041\u20131053 (2009)","journal-title":"Artif. Intell."},{"key":"11_CR46","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511614316","volume-title":"Social Choice and the Mathematics of Manipulation","author":"A.D. Taylor","year":"2005","unstructured":"Taylor, A.D.: Social Choice and the Mathematics of Manipulation. Cambridge University Press, Cambridge (2005)"},{"key":"11_CR47","doi-asserted-by":"crossref","unstructured":"Troquard, N., van der Hoek, W., Wooldridge, M.: Reasoning about social choice functions. J.\u00a0Philos. Log. 40 (4), 473\u2013498 (2011)","DOI":"10.1007\/s10992-011-9189-z"},{"key":"11_CR48","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independence Friendly Logic","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press, Cambridge (2007)"},{"key":"11_CR49","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence logic. Talk \u2014 Dagstuhl Seminar (2010)"},{"key":"11_CR50","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1016\/0022-0531(72)90051-8","volume":"5","author":"R. Wilson","year":"1972","unstructured":"Wilson, R.: Social choice theory without the Pareto principle. J. Econ. Theory 5, 478\u2013486 (1972)","journal-title":"J. Econ. Theory"},{"issue":"1","key":"11_CR51","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1257\/jep.9.1.51","volume":"9","author":"H.P. Young","year":"1995","unstructured":"Young, H.P.: Optimal voting rules. J. Econ. Perspect. 9 (1), 51\u201364 (1995)","journal-title":"J. Econ. Perspect."}],"container-title":["Dependence Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31803-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T07:27:36Z","timestamp":1656746856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31803-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319318011","9783319318035"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31803-5_11","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}