Linked bibliography for the SEP article "Formal Approaches to Social Procedures" by Jan van Eijck and Rineke (L.C.) Verbrugge

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

General References

  • Başkent, C., L.S. Moss, and R. Ramanujam, (eds.), 2017, Rohit Parikh on Logic, Language and Society (Outstanding Contributions to Logic: Volume 11), Berlin: Springer. (Scholar)
  • Başkent, C., 2017, “A Non-Classical Logical Approach to Social Software”, in Başkent, Moss, & Ramanujam 2017, pp. 91–110. (Scholar)
  • van Benthem, J., 2018, “Computation as Social Agency: What, How and Who”, Information and Computation, 261: 519–535. (Scholar)
  • Eijck, J. van, and Ph. Elsas, 2017, “What Is Money?”, in Başkent, Moss, & Ramanujam 2017, pp. 67–76. (Scholar)
  • Eijck, J. van, and R. Verbrugge (eds.), 2009, Discourses on Social Software (Texts in Logic and Games: Volume 5), Amsterdam: Amsterdam University Press. (Scholar)
  • ––– (eds.), 2012, Games, Actions and Social Software: Multidisciplinary Aspects (Lecture Notes in Computer Science: Volume 7010), Berlin: Springer. (Scholar)
  • Harel, D., and Y.A. Feldman, 2004, Algorithmics: The Spirit of Computing, London: Pearson Education. (Scholar)
  • Miller, R., and L. Boxer, 2012, Algorithms Sequential & Parallel: A Unified Approach, Boston, MA: Cengage Learning. (Scholar)
  • Pacuit, E., 2005, Topics in Social Software: Information in Strategic Situations, Ph.D. thesis, New York: City University of New York. (Scholar)
  • Parikh, R., 2002, “Social Software”, Synthese, 132: 187–211. (Scholar)
  • –––, 2017, “Is There a Church-Turing Thesis for Social Algorithms?”, in A. Bokulich and J. Floyd (eds.), Philosophical Explorations of the Legacy of Alan Turing, (Boston Studies in the Philosophy of Science, Volume 324), Berlin: Springer, pp. 339–357. (Scholar)
  • Pauly, M., 2001, Logic for Social Software, Ph.D. thesis, Amsterdam: ILLC. (Scholar)


  • Brams, S., 2005, “Fair Division”, in B.R. Weingast and D. Witteman (eds.), Oxford Handbook of Political Economy, Oxford: Oxford University Press, pp. 425–437. (Scholar)
  • Brams, S., and A. Taylor, 1996, Fair Division: From Cake-Cutting to Dispute-Resolution, Cambridge: Cambridge University Press. (Scholar)
  • Kyropoulou, M., J. Ortega, and E. Segal-Halevi, 2019, “Fair Cake-Cutting in Practice”, in Proceedings of the 2019 ACM Conference on Economics and Computation, ACM Press, pp. 547–548. (Scholar)
  • Moore, J., 1992, “Implementation, Contracts, and Renegotiation in Environments with Complete Information”, in J.-J Laffont (ed.), Advances in Economic Theory — 6th World Congress (Volume 1), Cambridge: Cambridge University Press. (Scholar)
  • Padma, T., 2007, Mathematwist: Number Tales from Around the World, Chennai: Tulika Publishers. (Scholar)
  • Parikh, R., 1983, “Propositional Game Logic”, in 24th Annual Symposium on Foundations of Computer Science, Washington, DC: IEEE Computer Society, pp. 195–200. (Scholar)
  • Pauly, M., 2005, “Changing the Rules of Play”, Topoi, 24(2): 209–222. (Scholar)
  • Robertson, J., and W. Webb, 1998, Cake-Cutting Algorithms: Be Fair If You Can, Boca Raton, FL: A.K. Peters. (Scholar)
  • Steinhaus, H., 1948, “The Problem of Fair Division”, Econometrica, 16: 101–104. (Scholar)

The Stable Marriage Problem

  • Gale, D., and L. Shapley, L., 1962, “College Admissions and the Stability of Marriage, American Mathematical Monthly, 69: 9–15. (Scholar)
  • Cechlérová, K., and D.F. Manlove, 2005, “The Exchange-Stable Marriage Problem”, Discrete Applied Mathematics, 152(1–3): 109–122. (Scholar)
  • Parikh, R., and M. Pauly, 2012, “What is Social Software?”, in van Eijck and Verbrugge 2012: 3–14. (Scholar)
  • Pini, M. S., F. Rossi, K.B. Venable, and T. Walsh, 2011, “Manipulation complexity and gender neutrality in stable marriage procedures”. Autonomous Agents and Multi-Agent Systems, 22(1): 183–199. (Scholar)

The Logic of Communication

  • Bolander, T., and M.B. Andersen, 2011, “Epistemic Planning for Single-and Multi-Agent Systems”, Journal of Applied Non-Classical Logics, 21(1): 9–34. (Scholar)
  • Chwe, M. S.-Y., 2001, Rational Ritual, Princeton and Oxford: Princeton University Press. (Scholar)
  • van Ditmarsch, H., J. van Eijck, and R. Verbrugge, 2009, “Common Knowledge and Common Belief”, in J. van Eijck and R. Verbrugge (eds.), Discourses on Social Software, (Texts in Logic and Games), Amsterdam: Amsterdam University Press, pp. 99–122. (Scholar)
  • van Eijck, J., and R. Verbrugge, 2009, “Eating from the Tree of Ignorance”, in J. van Eijck and R. Verbrugge (eds.), Discourses on Social Software (Texts in Logic and Games), Amsterdam: Amsterdam University Press, pp. 184–198. (Scholar)
  • Halpern, J., and Y. Moses, 1984, “Knowledge and Common Knowledge in a Distributed Environment”, in Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing (PODS), pp. 50–61; revised, Journal of the ACM, 37/3 (1990): 549–587. (Scholar)
  • Lewis, D., 1969, Convention: A Philosophical Study, Cambridge, MA: Harvard University Press. (Scholar)
  • Löwe, B., E. Pacuit, and A. Witzel, 2011, “DEL Planning and Some Tractable Cases”, in Proceedings International Workshop on Logic, Rationality and Interaction (LORI), Berlin, Heidelberg: Springer, pp. 179–192. (Scholar)
  • Lynch, N., 1996, Distributed Algorithms, San Mateo, CA: Morgan Kaufmann. (Scholar)
  • Nerburn, K., 1999, The Wisdom of the Native Americans, Novato, CA: New World Library. (Scholar)
  • Wooldridge, M., 2002 [2009], An Introduction to Multi-Agent Systems, first edition, Chichester: John Wiley and Sons; second edition 2009. (Scholar)

Strategic Reasoning and Cooperation

  • Axelrod, R., 1984, The Evolution of Cooperation, New York: Basic Books. (Scholar)
  • Benthem, J. van, S. Ghosh, and R. Verbrugge (eds.), 2015, Models of Strategic Reasoning: Logics, Games, and Communities (FoLLI Publications on Logic, Language and Information, LNCS 8972), Berlin: Springer. (Scholar)
  • Benthem, J. van, E. Pacuit, and O. Roy, 2011, “Toward a Theory of Play: A Logical Perspective on Games and Interaction”, Games, 2(1): 52–86. (Scholar)
  • Bowles, S., and H. Gintis, 2011, A Cooperative Species: Human Reciprocity and its Evolution, Princeton and Oxford: Princeton University Press. (Scholar)
  • Brandenburger, A., 2014, The Language of Game Theory: Putting Epistemics into the Mathematics of Games, Singapore: World Scientific. (Scholar)
  • Bulling, N., and V. Goranko, 2015, “Logics for Reasoning About Strategic Abiliies in Multi-Player Games”, in van Benthem, Ghosh, & Verbrugge 2015: 93–136. (Scholar)
  • Camerer, C.F., 2003, Behavioral Game Theory: Experiments on Strategic Interaction, Princeton: Princeton University Press. (Scholar)
  • Chalkiadakis, G., E. Elkind, and M. Wooldridge, 2011, Computational Aspects of Cooperative Game Theory (Synthesis Lectures on Artificial Intelligence and Machine Learning: Volume 5), San Rafael, CA: Morgan and Claypool Publishers. (Scholar)
  • Ciná, G., and U. Endriss, 2016, “Proving Classical Theorems of Social Choice Theory in Modal Logic”, Autonomous Agents and Multi-Agent Systems, 30(5): 963–989. (Scholar)
  • Ditmarsch, H. van, J. Lang, and A. Saffidine, 2012, “Strategic Voting and the Logic of Knowledge”, in Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’12), vol. 3, pp. 1247–1248. (Scholar)
  • Dunin-Kęplicz, B., and R. Verbrugge, 2010, Teamwork in Multi-Agent Systems: A Formal Approach, Chichester: Wiley. (Scholar)
  • Eijck, J. van, 2015, “Strategies in Social Software”, in van Benthem, Ghosh, & Verbrugge 2015: 292–317. (Scholar)
  • Gärdenfors, P., 2012, “The Cognitive and Communicative Demands of Cooperation”, in van Eijck and Verbrugge 2012: 164–183. (Scholar)
  • Ghosh, S., and R. Verbrugge, 2018, “Studying Strategies and Types of Players: Experiments, Logics and Cognitive Models”, Synthese, 195(10): 4265–4307. (Scholar)
  • Grädel, E., W. Thomas, and T. Wilke (eds.), 2002, Automata Logics, and Infinite Games, (Lecture Notes in Computer Science 2500), Berlin, Heidelberg: Springer. (Scholar)
  • Klein, D., and E. Pacuit, 2017, “Focusing on Campaigns”, in Başkent, Moss, & Ramanujam 2017, pp. 77–90. (Scholar)
  • Meijering, B., H. van Rijn, N. Taatgen, and R. Verbrugge, 2012,“What Eye Movements Can Tell about Theory of Mind in a Strategic Game”, PLoS ONE, 7(9), e45961, doi:10.1371/journal.pone.0045961 (Scholar)
  • Meijering, B., N. Taatgen, H. van Rijn, and R. Verbrugge, 2014, “Modeling Inference of Mental States: As Simple as Possible, as Complex as Necessary“, Interaction Studies, 15(3): 455–477. (Scholar)
  • Pacuit, E., 2015, “Strategic Reasoning in Games”, in van Benthem, Ghosh, & Verbrugge 2015: 3–33. (Scholar)
  • Pauly, M., 2002, “A Modal Logic for Coalitional Power in Games”, Journal of Logic and Computation, 12: 149–166. (Scholar)
  • Perea, A., 2012, Epistemic Game Theory: Reasoning and Choice, Cambridge: Cambridge University Press. (Scholar)
  • Shoham, Y., and K. Leyton-Brown, 2009, Multiagent Systems: Algorithmic, Game-Theoretic and Logical Foundations, Cambridge: Cambridge University Press. (Scholar)
  • Sigmund, K., 2010, The Calculus of Selfishness, (Princeton Series in Theoretical and Computational Biology), Princeton and Oxford: Princeton University Press. (Scholar)
  • Top, J., R. Verbrugge, and S. Ghosh, 2018, “An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic”, Games, 9(3),44; doi:10.3390/g9030044 (Scholar)
  • Vazirani, V.V., N. Nisan, T. Roughgarden, and E. Tardos (eds.), 2007, Algorithmic Game Theory, Cambridge: Cambridge University Press. (Scholar)
  • Von Neumann, J., and O. Morgenstern, 1944, Theory of Games and Economic Behavior, Chichester: Wiley. (Scholar)

Generated Sun May 22 20:43:45 2022