also needs signs indicating where they are. Thus epistemic considerations enter in addition to structural ones. For a more urgent example, in addition to medicines, physicians also need tests to indicate what a patient's problem is. See also Dynamic logic Epistemic logic Fair division Game theory Mechanism design No-trade theorem Social procedure Social technology Notes Further reading John Searle, The Construction of Social Reality (1995) New York : Free Press, c1995. Rohit Parikh, “Social Software,” Synthese, 132, Sep 2002, 187–211. Eric Pacuit and Rohit Parikh, "Social Interaction, Knowledge, and Social Software", in Interactive Computation: The New Paradigm, ed. Dina Goldin, Sott Smolka, Peter Wegner, Springer 2007, 441–461. Ludwig Wittgenstein, Philosophical Investigations, Macmillan, 1953. Jaakko Hintikka, Knowledge and Belief: an introduction to the logic of the two notions, Cornell University press, 1962, D. Lewis, Convention, a Philosophical Study, Harvard U. Press, 1969. R. Aumann, Agreeing to disagree, Annals of Statistics, 4 (1976) 1236–1239. J. Geanakoplos and H. Polemarchakis, We Can't Disagree Forever, J. Economic Theory, 28 (1982), 192–200. R. Parikh and P. Krasucki, Communication, Consensus and Knowledge, J. Economic Theory 52 (1990) pp. 178–189. W. Brian Arthur. Inductive reasoning and bounded rationality. Complexity in Economic Theory, 84(2):406-411, 1994. Ronald Fagin, Joseph Halpern, Yoram Moses and Moshe Vardi, Reasoning about Knowledge, MIT Press 1995. Steven Brams and Alan Taylor, The Win-Win Solution: guaranteeing fair shares to everybody, Norton 1999. David Harel, Dexter Kozen and Jerzy Tiuryn, Dynamic Logic, MIT Press, 2000. Michael Chwe, Rational ritual : culture, coordination, and common knowledge, Princeton University Press, 2001. Marc Pauly, Logic for Social Software, Ph.D. Thesis, University of Amsterdam. ILLC Dissertation Series 2001–10, . Rohit Parikh, Language as social software, in Future Pasts: the Analytic Tradition in Twentieth Century Philosophy, Ed. J. Floyd and S. Shieh, Oxford U. Press, 2001, 339–350. Parikh, R. and Ramanujam, R., A knowledge based semantics of messages, in J. Logic, Language, and Information, 12, pp. 453 – 467, 2003. Eric Pacuit, Topics in Social Software: Information in Strategic Situations, Doctoral dissertation, City University of New York (2005). Eric Pacuit, Rohit Parikh and Eva Cogan, The Logic of Knowledge Based Obligation, Knowledge, Rationality and Action, a subjournal of Synthese, 149(2), 311 – 341, 2006. Eric Pacuit and Rohit Parikh, Reasoning about Communication Graphs, in Interactive Logic, Edited by Johan van Benthem, Dov Gabbay and Benedikt Lowe (2007). Mike Wooldridge, Thomas Ågotnes, Paul E. Dunne, and Wiebe van der Hoek. Logic for