%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Eric Pacuit at 2006-02-17 08:23:07 +0100 


%% Saved with string encoding Western (ASCII) 



@book{M,
	Author = {Roger B. Myerson},
	Date-Added = {2006-02-17 08:21:48 +0100},
	Date-Modified = {2006-02-17 08:22:54 +0100},
	Publisher = {Harvard University Press},
	Title = {Game Theory: Analysis of Conflict},
	Year = {1991}}

@inproceedings{Parikh:socsoft,
	Author = {Rohit Parikh},
	Booktitle = {International Congress on Logic, Methodology and Philosophy of Science},
	Pages = {415},
	Title = {Language as social software (abstract)},
	Year = {1995}}

@inproceedings{P:02b,
	Annote = {Similar to the article in Synthese --- uses examples to illustrate what is meant by social software.},
	Author = {Rohit Parikh},
	Booktitle = {Proceedings of DEON 2002},
	Month = {September},
	Pages = {187-211},
	Title = {Towards a Theory of Social Software},
	Year = {2002}}

@article{P:02a,
	Annote = {Introduces the concept of social software through some nice examples.  Many examples are discussed, of particular interest is the two horseman example as described in the introduction of this survey.  Parikh goes on to suggest that we can use some techniques for reasoning about programs when reasoning about social procedures.},
	Author = {Rohit Parikh},
	Journal = {Synthese},
	Month = {September},
	Pages = {187-211},
	Title = {Social Software},
	Volume = {132},
	Year = {2002}}

@inproceedings{P:02c,
	Annote = {Applies some ideas from computer science to analyzing language.  In particular, draws an analogy between the denotational semantics of a high-level programming language versous the operational semantics of machine language; and the meaning theory for a natural language versus the actual linguistic and non-linguistic  behaviours of a speech comunity.},
	Author = {Rohit Parikh},
	Booktitle = {Future Pasts: The Analytic Tradition in Twentieth Century Philosophy},
	Chapter = {15},
	Editor = {J. Floyd, S. Shieh},
	Pages = {339-350},
	Title = {Lanuage as Social Software},
	Year = {2001}}

@incollection{PP:05,
	Author = {Eric Pacuit and Rohit Parikh},
	Booktitle = {Interactive Computation: The New Paradigm},
	Editor = {Dina Goldin, Scott Smolka and Peter Wegner},
	Optannote = {Survey of a number of tools used for reasoning about social software.},
	Publisher = {Springer-Verlag},
	Title = {Social Interaction, Knowledge, and Social Software},
	Year = {forthcoming}}

@phdthesis{EP:thesis,
	Annote = {First chapter is an essay on social software. },
	Author = {Eric Pacuit},
	School = {City University of New York Graduate Center},
	Title = {Topics in Social Software: Information in Strategic Situations},
	Year = {2005}}

@unpublished{PW:mechanism,
	Author = {Marc Pauly and Michael Wooldridge},
	Note = {unpublished manuscript, available at \texttt{http://www.stanford.edu/~pianoman/papers.html}},
	Title = {Logic for Mechanism Design --- A Manifesto}}

@book{OR,
	Address = {Boston},
	Annote = {Very good text discussing game theory.  The book goes into some detail about both the mathematics underlying game theory and the intuitions justifying the mathematical models.},
	Author = {M. Osborne and A. Rubinstein},
	Publisher = {The MIT Press},
	Title = {A Course in Game Theory},
	Year = {1994}}

@book{BdRV,
	Address = {Cambridge},
	Annote = {Excellent textbook on modal logic.  },
	Author = {P. Blackburn and M. de Rijke and Y. Venema},
	Publisher = {Cambridge University Press},
	Title = {Modal Logic},
	Year = {2002}}

@book{FHMV,
	Address = {Boston},
	Annote = {Standard book on formal epistemic logic. Essentially, looks at models of knowledge and belief from a computer science point of view.  },
	Author = {R. Fagin and J. Halpern and Y. Moses and M. Vardi},
	Publisher = {The MIT Press},
	Title = {Reasoning about Knowledge},
	Year = {1995}}

@book{H,
	Address = {Boston},
	Annote = {Excellent text book which includes a discussion of probability and other models of uncertainty. },
	Author = {J. Halpern},
	Publisher = {The MIT Press},
	Title = {Reasoning about Uncertainty},
	Year = {2003}}

@book{V,
	Address = {Cambridge},
	Annote = {Introduces topology by way of a logic of finite observations.  Provides
              a foundation for Scott domain theory},
	Author = {Stven Vickers},
	Publisher = {Cambridge University Press},
	Title = {Topology Via Logic},
	Year = {1989}}

@article{GM,
	Author = {J. Glazer and C. A. Ma},
	Journal = {Games and Economic Behavior},
	Pages = {222 - 233},
	Title = {Efficient Allocation of a `Prize' --- King Solomon's Dilemma},
	Volume = {1},
	Year = {1989}}

@article{fischer.ladner,
	Author = {M. J. Fischer and R. E. Ladner},
	Journal = {J. Comput. Syst. Sci.},
	Optnumber = {2},
	Optpages = {194-211},
	Optvolume = {18(2)},
	Title = {Propositional dynamic logic of regular programs},
	Year = {1979}}

@inproceedings{pratt76,
	Author = {V. R. Pratt},
	Booktitle = {Proc. 17th Symp. Found. Comput. Sci.},
	Pages = {109 - 121},
	Series = {IEEE},
	Title = {Semantical Considerations on Floyd-Hoare Logic},
	Year = {1976}}

@article{floyd,
	Author = {R. W. Floyd},
	Journal = {Proc. Symp. Appl. Math},
	Pages = {19-31},
	Title = {Assigning meanings to programs},
	Volume = {19},
	Year = {1967}}

@book{harel.kozen.tiuryn,
	Author = {D. Harel and D. Kozen and J. Tiuryn},
	Publisher = {MIT Press, Boston},
	Title = {Dynamic Logic},
	Year = {2000}}

@article{hoare,
	Author = {C. A. R. Hoare},
	Journal = {Comm. Assoc. Comput. Mach.},
	Title = {An axiomatic basis for computer programming},
	Volume = {12},
	Year = {1969}}

@unpublished{Pauly.Wooldridge,
	Author = {Marc Pauly and Mike Wooldridge},
	Note = {Unpublished manuscript},
	Title = {Logic for Mechanism Design -- A Manifesto}}

@article{Aumann:interactiveepistemology,
	Author = {R. Aumann},
	Journal = {International Journal of Game Theory},
	Pages = {263-300},
	Title = {Interactive Epistemology {I}: Knowledge},
	Volume = {28},
	Year = {1999}}

@unpublished{Pauly05,
	Author = {Marc Pauly},
	Note = {to appear in the {\em Journal of Logic and Computation}},
	Title = {Programming and Verifying Subgame Perfect Mechanisms}}

@book{brams.taylor:fairdivision,
	Author = {S. J. Brams and A. D. Taylor},
	Publisher = {Cambridge University Press, Cambridge},
	Title = {Fair Division: From cake-cutting to dispute resolution},
	Year = {1996}}

@book{brams.taylor:winwin,
	Address = {New York},
	Author = {S. J. Brams and A. D. Taylor},
	Publisher = {W. W. Norton and Company},
	Title = {The Win-Win Solution},
	Year = {1999}}

@misc{adjwinnerwebsite,
	Date-Modified = {2006-02-08 21:31:13 +0100},
	Howpublished = {\texttt{www.nyu.edu/projects/adjustedwinner/}},
	Title = {Adjusted Winner Website},
	Url = {www.nyu.edu/projects/adjustedwinner/}}

@book{rubinstein,
	Address = {Cambridge},
	Author = {Ariel Rubinstein},
	Publisher = {Cambridge University Press},
	Title = {Economics and Language},
	Year = {2000}}

@incollection{bacharach,
	Author = {M. O. L. Bacharach},
	Booktitle = {Epistemic Logic and the Theory of Games and Decisions},
	Editor = {M.O.L. Bacharach and L.A. Gerard-Varet and P. Mongin and H.S. Shin},
	Pages = {303 -- 344},
	Publisher = {Kluwer Academic Publishers},
	Title = {The Epistemic Structure of a Theory of a Game},
	Year = {1997}}

@book{Arrow:63a,
	Address = {New York},
	Author = {K. J. Arrow},
	Publisher = {Wiley},
	Status = {Get},
	Title = {Social choice and individual values (2nd edition)},
	Year = {1963}}

@article{Gibbard:73a,
	Author = {Allan Gibbard},
	Journal = {Econometrica},
	Number = 4,
	Pages = {587-601},
	Title = {Manipulation of {V}oting {S}chemes: {A} {G}eneral {R}esult},
	Volume = 41,
	Year = 1973}

@book{Sen:70a,
	Address = {San Francisco},
	Author = {Amartya Sen},
	Publisher = {Holden Day},
	Status = {?},
	Title = {Collective Choice and Social Welfare},
	Year = 1970}

@phdthesis{Satterthwaite:73a,
	Author = {Mark Satterthwaite},
	School = {University of Wisconson},
	Title = {The {E}xistence of a {S}trategy {P}roof {V}oting {P}rocedure: a {T}opic in {S}ocial {C}hoice {T}heory},
	Year = 1973}

@article{Satterthwaite:75a,
	Author = {Mark Satterthwaite},
	Journal = {Journal of Economic Theory},
	Number = 2,
	Pages = {187-217},
	Status = {Got},
	Title = {Strategy-proofness and {A}rrow's {C}onditions: {E}xistence and {C}orrespondence {T}heorems for {V}oting {P}rocedures and {S}ocial {W}elfare {F}unctions},
	Volume = 10,
	Year = 1975}

@incollection{Brams94,
	Author = {Steven J. Brams},
	Booktitle = {Handbook of {G}ame {T}heory},
	Pages = {1055-1089},
	Publisher = {Elsevier},
	Title = {Voting {P}rocedures},
	Volume = 2,
	Year = 1994}

@incollection{BramsFish,
	Author = {Steven J. Brams and Peter C. Fishburn},
	Booktitle = {Handbook of Social Choice and Welfare},
	Publisher = {North-Holland},
	Title = {Voting {P}rocedures},
	Year = 1994}

@book{BF:approval,
	Address = {Boston},
	Author = {Steven Brams and Peter Fishburn},
	Publisher = {Birkhauser},
	Title = {Approval Voting},
	Year = {1983}}