@Book{acze:nonw88,
  author = 	"Peter Aczel",
  year = 	"1988",
  title = 	"{Non-Well-Founded Sets}",
  series =       "CSLI Lecture Notes Number 14",
  publisher = 	"CSLI Publications",
  address = 	"Stanford"
}

@InCollection{acze:repl90,
  author = 	"Peter Aczel",
  title = 	"{Replacement Systems and the Axiomatization of
		 Situation Theory}",
  booktitle = 	"{Situation Theory and Its Applications, I}",
  series =      "CSLI Lecture Notes Number 22",
  publisher = 	"CSLI Publications",
  year = 	"1990",
  editor = 	"Robin Cooper and Kuniaki Mukai and John Perry",
  address = 	"Stanford"
}

 @INCOLLECTION{barw:mode89,
	AUTHOR =	"Jon Barwise and John Etchemendy",
	YEAR =		"1989",
	TITLE =		"{Model-Theoretic Semantics}",
	BOOKTITLE =	"Foundations of Cognitive Science",
	EDITOR =	"M. I. Posner",
	PUBLISHER =	"MIT Press",
	ADDRESS =	"Cambridge, MA",
	PAGES =		"207--43"
	}%

@InCollection{barw:info90,
  author = 	"Barwise, Jon and Etchemendy, John",
  title = 	"{Information, Infons, and Inference}",
  booktitle = 	"{Situation Theory and Its Applications, I}",
  series =      "CSLI Lecture Notes Number 22",
  publisher = 	"CSLI Publications",
  year = 	"1990",
  editor = 	"Robin Cooper and Kuniaki Mukai and John Perry",
  pages =       "33--78", 
  address = 	"Stanford"
}

 @BOOK{chel:moda80,
	AUTHOR =	"Brian F. Chellas",
	YEAR =		"1980",
	TITLE =		"{Modal Logic: An Introduction}",
	ADDRESS =	"Cambridge",
	PUBLISHER =	"Cambridge University Press"
	}%

 @INCOLLECTION{kapl:demo89,
	AUTHOR =	"David Kaplan",
	YEAR =		"1989",
	TITLE =		"{Demonstratives: An Essay on the Semantics,
			 Logic, Metaphysics, and Epistemology of
			 Demonstratives and Other Indexicals}",
	BOOKTITLE =	"{Themes from Kaplan}",
	EDITOR =	"Joseph Almog and John Perry and Howard Wettstein",
	ADDRESS =	"New York",
	PUBLISHER =	"Oxford University Press",
	PAGES =		"481--614"
	}%

 @BOOK{krip:nami72,
	AUTHOR =	"Saul A. Kripke",
	YEAR =		"1972",
	TITLE =		"{Naming and Necessity}",
	ADDRESS =	"Cambridge, MA",
	PUBLISHER =	"Harvard University Press"
	}%

 @INCOLLECTION{perr:poss89,
	AUTHOR =	"John Perry",
	YEAR =		"1989",
	TITLE =		"{Possible Worlds and Subject Matter}",
	BOOKTITLE =	"{Possible Worlds in Humanities, Arts and
			  Sciences}",
	EDITOR =	"Sture All\'en",
	PAGES =		"124--37",
	ADDRESS =	"Berlin",
	PUBLISHER =	"Walter de Gruyter"
	}%

 @BOOK{putn:real83,
	AUTHOR =	"Hilary Putnam",
	YEAR =		"1983",
	TITLE =		"{Realism and Reason: Philosophical Papers,
			 Volume 3}",
	ADDRESS =	"Cambridge",
	PUBLISHER =	"Cambridge University Press"
	}%

@InCollection{barw:situ89,
  author = 	"Jon Barwise",
  title = 	"{Situations, Facts, and True Propositions}",
  booktitle = 	"The Situation in Logic",
  series =      "CSLI Lecture Notes Number 17",
  publisher = 	"CSLI Publications",
  year = 	"1989",
  PAGES =		"221--54",
  address = 	"Stanford"
}

@Article{barw:gene81,
  author = 	"Jon Barwise and Robin Cooper",
  title = 	"{Generalized Quantifiers and Natural Language}",
  journal = 	"{Linguistics and Philosophy}",
  year = 	"1981",
  volume = 	"4",
  pages = 	"159--219"
}

@InCollection{kamp:theo75,
  author = 	"Hans Kamp",
  title = 	"{Two Theories About Adjectives}",
  booktitle = 	"Formal Semantics of Natural Languages",
  publisher = 	"Cambridge University Press",
  year = 	"1975",
  editor = 	"Ed Keenan",
  address =     "Cambridge"
}

@InCollection{kamp:theo81,
  author = 	"Hans Kamp",
  title = 	"{A Theory of Truth and Semantic Representation}",
  booktitle = 	"Formal Methods in the Study of Language",
  publisher = 	"Mathematisch Centrum",
  year = 	"1981",
  editor = 	"Geroen Groenendijk and Theo Janssen and Martin Stokhof",
  address = 	"Amsterdam"
}

@InCollection{putn:what79,
  author = 	"Hilary Putnam",
  title = 	"{What is Mathematical Truth?}",
  booktitle = 	"Mathematics, Matter and Method: Philosophical Papers,
		 Volume 1",
  address =     "Cambridge",
  publisher = 	"Cambridge University Press",
  year = 	"1979"
}

@Book{gard:gene87,
  author = 	"Peter G{\"a}rdenfors (ed.)",
  title = 	"{Generalized Quantifiers: Linguistic and Logical
		 Approaches}",
  series =      "{Studies in Linguistics and Philosophy Number 31}",
  publisher = 	"Reidel",
  year = 	"1987",
  address = 	"Dordrecht"
}

@Article{evan:pron77,
  author = 	"Gareth Evans",
  title = 	"{Pronouns, Quantifiers and Relative Clauses}",
  journal = 	"Canadian Journal of Philosophy",
  year = 	"1977",
  volume = 	"7",
  pages = 	"467--536"
}

@InCollection{freg:thou77,
  author = 	"Gottlob Frege",
  title = 	"{Thoughts}",
  booktitle = 	"{Gottlob Frege: Logical Investigations. {\rm trans.
		 P. Geach and R. H. Stoothoff}}",
  publisher = 	"Yale University Press (1977)",
  year = 	"1918",
  address = 	"New Haven"
}

@Book{quin:root74,
  author = 	"Willard van Orman Quine",
  title = 	"{The Roots of Reference}",
  publisher = 	"Open Court",
  year = 	"1974",
  address = 	"La Salle, IL"
}

@Book{chom:lect81,
  author = 	"Noam Chomsky",
  title = 	"{Lectures on Government and Binding}",
  publisher = 	"Foris",
  year = 	"1981",
  address = 	"Dordrecht"
}

@Article{chom:barr86,
  author = 	"Noam Chomsky",
  title = 	"{Barriers}",
  journal = 	"Linguistic Inquiry Monograph",
  year = 	"1986",
  volume = 	"13"
}

@Article{lewi:atti79,
  author = 	"David K. Lewis",
  title = 	"{Attitudes {\it de dicto} and {\it de se}}",
  journal = 	"The Philosophical Review",
  year = 	"1979",
  volume = 	"88",
  pages = 	"513--543"
} 

@Book{newe:huma72,
  author = 	"Allen Newell and Herbert A. Simon",
  title = 	"{Human Problem Solving}",
  publisher = 	"Prentice-Hall",
  year = 	"1972",
  address = 	"New Jersey"
}

@InCollection{mcca:some69,
  author = 	"John McCarthy and Pat J. Hayes",
  title = 	"{Some Philosophical Problems from the Standpoint of
		 Artificial Intelligence}",
  booktitle = 	"Machine Intelligence 4",
  publisher = 	"Edinburgh University Press",
  year = 	"1969",
  editor = 	"B. Meltzer and D. Michie",
  pages = 	"463--502"
}

@Article{marr:arti77,
  author = 	"Marr, David",
  title = 	"{Artificial Intelligence---A Personal View}",
  journal = 	"Artificial Intelligence",
  year = 	"1977",
  volume = 	"9",
  pages = 	"37--48"
} 

@Article{krip:sema63,
  author = 	"Kripke, Saul A.",
  title = 	"{Semantical Considerations on Modal Logic}",
  journal = 	"Acta Philosophica Fennica",
  year = 	"1963",
  volume = 	"16",
  pages = 	"83--94"
} 

@Article{krip:comp59,
  author = 	"Kripke, Saul A.",
  title = 	"{A Completeness Theorem in Modal Logic}",
  journal = 	"Journal of Symbolic Logic",
  year = 	"1959",
  volume = 	"24",
  pages = 	"1--15"
} 

@Book{lewi:plur86,
  author = 	"Lewis, David K.",
  title = 	"{On the Plurality of Worlds}",
  publisher = 	"Blackwell",
  year = 	"1986",
  address = 	"Oxford"
}

@Article{perr:from86,
  author = 	"Perry, John",
  title = 	"{From Worlds to Situations}",
  journal = 	"Journal of Philosophical Logic",
  year = 	"1986",
  volume = 	"15",
  pages = 	"83--107",
  NOTE =		"Also Report Number CSLI-87-73, CSLI
			 Publications, Stanford"

} 

@InCollection{quin:vari60,
  author = 	"Quine, Willard van Orman",
  title = 	"{Variables Explained Away}",
  booktitle = 	"{Selected Logic Papers}",
  publisher = 	"Random House",
  year = 	"1960",
  pages = 	"227--35",
  address = 	"New York",
  note = 	"Reprinted"
}