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.
- 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)
- 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)
- 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)
- 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)