text:
{Human Action and Its Explanation: A Study on the Philosophical
  	Foundations of Psychology},
  publisher = {D. Reidel Publishing Co.},
  year = {1977},
  address = {Dordrecht},
  ISBN = {902770824X},
  rtnote = {UMich Graduate Library, BF38 .T861.},
  topic = {philosophy-of-action;}
 }

@incollection{ tuomela:1989a,
  author = {Raimo Tuomela},
  title = {Actions by Collectives},
  booktitle = {Philosophical Perspectives 3:
  	Philosophy of Mind and Action Theory},
  publisher = {Ridgeview Publishing Company},
  year = {1989},
  editor = {James E. Tomberlin},
  pages = {471--496},
  address = {Atasacadero, California},
  note = {Also available at http://www.jstor.org/journals/.},
  topic = {group-action;}
  }

@incollection{ tuomela:1994a,
  author = {Raimo Tuomela},
  title = {Action Generation},
  booktitle = {Intensional Logic:  Theory and Applications},
  publisher = {The Philosophical Society of Finland},
  year = {1994},
  editor = {Ilkka Niiniluoto and Esa Saarinen},
  pages = {282--301},
  address = {Helsinki},
  topic = {action;group-action;}
  }

@book{ tuomela:1995a,
  author = {Raimo Tuomela},
  title = {The Importance of Us},
  publisher = {Stanford University Press},
  year = {1995},
  rtnote = {In RHT collection.  Shelf.},
  topic = {group-action;social-philosophy;}
 }

@article{ tuomela:2009a,
  author = {Raimo Tuomela},
  title = {Collective Intentions and Game Theory},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {5},
  pages = {292--300},
  topic = {group-action;intention;game-theory;}
  }

@article{ tur-etal:2001a,
  author = {G\"okhan T\"ur and Dilek Hakkani-T\"ur and Andreas
  	Stolcke and Elizabeth Shriberg},
  title = {Integrating Prosodic and Lexical Cues for Automatic Topic
  	Segmentation},
  journal = {Computational Linguistics},
  year = {2001},
  volume = {27},
  number = {1},
  pages = {31--57},
  topic = {speech-segmentation;prosody;statistical-nlp;}
  }

@incollection{ turan:1997a,
  author = {Umit Deniz Turan},
  title = {Ranking Forward-Looking Centers in
	{T}urkish: Universal and Language-Specific Properties},
  booktitle = {Centering Theory in Discourse},
  publisher = {Oxford University Press},
  year = {1997},
  editor = {Marilyn A. Walker and Arivind K. Joshi and Ellen Prince},
  pages = {139--160},
  address = {Oxford},
  topic = {anaphora-resolution;discourse;pragmatics;Turkish-language;
  	centering;}
  }

@incollection{ turanen-etal:2002a,
  author = {Markku Turanen and Jaakko Hakulinen and Jukka Kuusisto and
    		Krista Lagus},
  title = {Adaptive Dialogue Systems---Interaction with Interact},
  booktitle = {Third {SIGdial} Workshop on Discourse and Dialogue:
  		Proceedings of the Workshop},
  publisher = {Association for Computational Linguistics},
  year = {2002},
  editor = {Kristina Jokinen and Susan McRoy},
  pages = {64--73},
  address = {New Brunswick, New Jersey},
  topic = {computational-dialogue;}
  }

@article{ turing:1936a,
 author = {Alan M. Turing},
 year = {1936},
 title = {On Computable Numbers With an Application to the
 	{E}ntscheidungsproblem},
 journal = {Proceedings of the London Mathematical Society Series 2},
 volume = {42},
 pages = {230--265},
 topic = {computability;logic-classic;}
 }

@article{ turing:1950a,
  author = {Alan M. Turing},
  title = {Computing Machinery and Intelligence},
  journal = {Mind},
  year = {1950},
  volume = {59},
  number = {236},
  pages = {433-460},
  topic = {Turing-test;philosophy-of-mind;machine-intelligence;}
  }

@book{ turing:2004a,
  author = {Alan Turing},
  title = {The Essential {T}uring},
  publisher = {Oxford University Press},
  year = {2004},
  note = {Edited by B.J. Copeland},
  address = {Oxford},
  topic = {Turing;foundations-of-computation;}
 }

@incollection{ turmo-rodriguez_h:2000a,
  author = {J. Turmo and H. Rodr\'iguez},
  title = {Learning {IE} Rules for a Set
    	    of Related Concepts},
  booktitle = {Proceedings of the Fourth Conference on Computational
  	Natural Language Learning and of the Second Learning Language
	in Logic Workshop, {L}isbon, 2000},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Claire Cardie and Walter Daelemans and Claire N\'edellec
  	and Erik Tjong Kim Sang},
  pages = {115--118},
  address = {Somerset, New Jersey},
  topic = {machine-language-learning;information-extraction;}
  }

@article{ turnbull:1962a,
  author = {Robert G. Turnbull},
  title = {Ockham's Nominalistic Logic: Some Twentieth Century Reflections},
  journal = {The New Scholasticism},
  year = {1962},
  volume = {36},
  number = {3},
  pages = {313--329},
  rtnote = {In RHT collection.},
  topic = {scholastic-philosophy;}
  }

@incollection{ turner_eh-etal:1999a,
  author = {Elise H. Turner and Roy M. Turner and John Phelps and
			Mark Neal and Charles Grunden and Jason Mailmen},
  title = {Aspects of Context for Understanding Multi-Modal
			Communication},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {523--526},
  address = {Berlin},
  topic = {context;multimodal-communication;}
  }

@inproceedings{ turner_eh-turner_rm:2001a,
  author = {Elise H. Turner and Roy M. Turner},
  title = {Representing the Graphics Context to Support Understanding
  	Plural Anaphora in Multi-Modal Interfaces},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {330--342},
  address = {Berlin},
  topic = {context;anaphora;plural;multimodal-communication;}
  }

@inproceedings{ turner_h:1996a,
  author = {Hudson Turner},
  title = {Splitting a Default Theory},
  booktitle = {Proceedings of the Thirteenth National Conference on
              Artificial Intelligence and the Eighth Innovative
	      Applications of Artificial Intelligence  Conference},
  year = {1996},
  editor = {William J. Clancey and Dan Weld},
  pages = {645--651},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {default-logic;}
  }

@article{ turner_h:1997a,
  author = {Hudson Turner},
  title = {Representing Actions in Logic Programs and Default
  	Theories: A Situation Calculus Approach},
  journal = {Journal of Logic Programming},
  year = {1997},
  volume = {298},
  number = {31},
  pages = {245--298},
  topic = {nonmonotonic-logic;action-formalisms;causality;frame-proiblem;}
  }

@article{ turner_h:1999a,
  author = {Hudson Turner},
  title = {A Logic of Universal Causation},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {113},
  number = {1--2},
  pages = {87--123},
  topic = {nonmonotonic-logic;action-formalisms;causality;}
  }

@inproceedings{ turner_j1-charniak:2005a,
  author = {Jenine Turner and Eugene Charniak},
  title = {Supervised and Unsupervised Learning for Sentence Compression},
  booktitle = {Proceedings of the 43rd Annual Meeting of the
  		Association for Computational Linguistics (ACL'05)},
  month = {June},
  year = {2005},
  address = {Ann Arbor, Michigan},
  publisher = {Association for Computational Linguistics},
  pages = {290--297},
  url = {http://www.aclweb.org/anthology/P/P05/P05-1036},
  topic = {machine-learning;text-summary;}
  }

@article{ turner_j2:2009a,
  author = {Jason Turner},
  title = {Ontological Pluralism},
  journal = {The Journal of Philosophy},
  year = {2009},
  volume = {106},
  number = {1},
  pages = {5--34},
  topic = {pluralism;ontology;}
  }

@article{ turner_j2:2010a,
  author = {Jason Turner},
  title = {Fitting Attitudes \emph{De Dicto} and \emph{De Se}},
  journal = {No\^us},
  year = {2010},
  volume = {43},
  number = {1},
  pages = {1--9},
  topic = {propositional-attitudes;}
  }

@book{ turner_k:1999a,
  editor = {Ken Turner},
  title = {The Semantic/Pragmatics Interface from Different Points of View},
  publisher = {Elsevier},
  year = {1999},
  address = {Oxford},
  ISBN = {0080430805},
  contentnote = {TC:
     1. K. Turenr, "From a Certain Point of View (Seven Inch Version)"
     2. Nicholas Asher, "Discourse Structure and the Logic of Conversation"
     3. Johan van der Auwera, "On the Semantic and Pragmatic
     		Polyfunctionality of Modal Verbs"
     4. Kent Bach, "The Semantics-Pragmatics Distinction:
     		What it Is and Why it Matters"
     5. Robyn Carston, "The Semantics/Pragmatics Distinction: A View
     		from Relevance Theory"
     6. Brendon S. Gillon, "English Indefinite Noun Phrases and Plurality"
     7. Yuego Gu, "Towards a Model of Situated Discourse Analysis"
     8. Michael Hand, "Semantics vs. Pragmatics: {ANY} in Game-Theoretical
     		Semantics"
     9. Katarzyna M. Jaszczolt, "Default Semantics, Pragmatics, and
     		Intentions"
    10. Andrew Kehler and Gregory Ward, "On the Semantics and Pragmatics
    		of Identifier `So'\,"
    11. Manfred Krifka, "At Least Some Determiners Aren't Determiners"
    12. Susumu Kubo, "On an Illocutionary Connective Datte"
    13. Chungmin Lee, "Contrastive Topic:  A Locus of Interface Evidence
    		from {K}orean and {E}nglish"
    14. F. Nemo, "The Pragmatics of Signs, the Semantics of
    		Relevance, and the Semantics/Pragmatics Interface"
    15. Jaroslav Peregrin, "The Pragmatization of Semantics"
    16. A. Ramsay, "Does it Make Any Sense?  Updating $+$ Consistency
    		Checking"
  },
  topic = {semantics;pragmatics;}
 }

@unpublished{ turner_m-fauconnier:1995a1,
  author = {Mark Turner and Gilles Fauconnier},
  title = {Conceptual Integration and Formal Expression},
  year = {1995},
  note = {Posted at http://www.uoregon.edu/\user{}rohrer/turner.htm.},
  rtnote = {In RHT collection.},
  xref = {Journal Publication: turner_m-fauconnier:1999a2.},
  topic = {foundations-of-semantics;compositionality;}
  }

@article{ turner_m-fauconnier:1995a2,
  author = {Mark Turner and Gilles Fauconnier},
  title = {Conceptual Integration and Formal Expression},
  journal = {Journal of Metaphor and Symbolic Activity},
  year = {1995},
  volume = {10},
  number = {3},
  missinginfo = {pages.  Date is a guess.},
  xref = {Web publication: turner_m-fauconnier:1995a2.},
  topic = {foundations-of-semantics;compositionality;}
  }

@article{ turner_r1:1981a,
  author = {Raymond Turner},
  title = {Counterfactuals without Possible Worlds},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {4},
  pages = {453--493},
  topic = {conditionals;philosophy-of-possible-worlds;}
  }

@article{ turner_r1:1983a,
  author = {Raymond Turner},
  title = {Montague Semantics, Nominalization and {S}cott's
  	Domains},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {2},
  pages = {259--288},
  topic = {nominalization;nl-semantics;Scott-domains;}
  }

@incollection{ turner_r1:1986a,
  author = {Raymond Turner},
  title = {Formal Semantics and Type-Free Theories},
  booktitle = {Studies in Discourse Representation Theory and the Theory of
  	Generalized Quantifiers},
  publisher = {Foris Publications},
  year = {1986},
  editor = {Jeroen Groenendijk and Dick de Jongh and Martin Stokhof},
  pages = {145--159},
  address = {Dordrecht},
  topic = {higher-order-logic;nl-semantic-types;pragmatics;}
  }

@incollection{ turner_r1:1992a,
  author = {Raymond Turner},
  title = {Properties, Propositions and Semantic Theory},
  booktitle = {Computational Linguistics and Formal Semantics},
  publisher = {Cambridge University Press},
  year = {1992},
  editor = {Michael Posner and Roderick Johnson},
  pages = {159--180},
  address = {Cambridge, England},
  topic = {property-theory;type-theory;propositions;}
  }

@incollection{ turner_r1:1996a,
  author = {Raymond Turner},
  title = {Types},
  booktitle = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  editor = {Johan {van Benthem} and Alice {ter Meulen}},
  pages = {535--586 },
  address = {Amsterdam},
  topic = {nl-semantics;type-theory;nominalization;proof-theory;
  		higher-order-logic;categorial-grammar;}
  }

@book{ turner_r2:1974a,
  editor = {Roy Turner},
  title = {Ethnomethodology: Selected Readings},
  publisher = {Penguin},
  year = {1974},
  address = {Harmondsworth},
  topic = {ethnomethodology;}
 }

@inproceedings{ turner_rm:1989a,
   author = {Roy M. Turner},
   year = {1989},
   title = {When Reactive Planning Is Not Enough: {U}sing Contextual
       Schemas to React Appropriately to Environmental Change},
   pages = {940--947},
   booktitle = {Proceedings of the Eleventh Annual Conference of the
       {C}ognitive {S}cience {S}ociety},
   address = {Detroit, MI},
   missinginfo = {publisher, editor, address},
   topic = {cognitive-robotics;context;contextual-reasoning;}
   }

@techreport{ turner_rm:1990a,
  author = {Roy M. Turner},
  year = {1990},
  title = {A Mechanism for Context-Sensitive Reasoning},
  number = {90--68},
  institution = {Department of Computer Science, University of New
		 Hampshire},
  address = {Durham, NH 03824},
  topic = {context;contextual-reasoning;}
   }

@inproceedings{ turner_rm:1993a,
  author = {Roy M. Turner},
  title = {Context-Sensitive Reasoning for Autonomous Agents and
  	Cooperative Distributed Problem Solving},
  booktitle = {Proceedings of the {IJCAI} Workshop on Using Knowledge
  	in its Context},
  year = {1993},
  address = {Chamb\'ery, France},
  month = {August},
  missinginfo = {editor,publisher,pages},
  topic = {context;contextual-reasoning;distributed-systems;
  	artificial-societies;}
}

@book{ turner_rm:1994a,
  author = {Roy M. Turner},
  title = {Adaptive Reasoning for Real-World Problems:  {A} Schema-Based
                 Approach},
  publisher = {Lawrence Erlbaum Associates},
  year = {1994},
  address = {Hillsdale, New Jersey},
  topic = {cognitive-robotics;context;contextual-reasoning;}
}

@inproceedings{ turner_rm:1995a,
  author = {Roy M. Turner},
  title = {Context-Sensitive, Adaptive Reasoning for Intelligent
  	{AUV} Control: {O}rca Project Update},
  booktitle = {Proceedings of the Ninth International Symposium on Unmanned
		  Untethered Submersible Technology},
  year = {1995},
  address = {Durham, NH},
  month = {September},
  missinginfo = {publisher, organization, pages},
  topic = {context;contextual-reasoning;}
}

@inproceedings{ turner_rm:1995b,
  author = {Roy M. Turner},
  title = {Intelligent Control of Autonomous Underwater Vehicles:
  	{T}he {O}rca Project},
  booktitle = {Proceedings of the 1995 {IEEE} International Conference on
		  Systems, Man, and Cybernetics},
  year = {1995},
  publisher = {Vancouver, Canada},
  missinginfo = {editor,pages},
  topic = {context;contextual-reasoning;}
}

@inproceedings{ turner_rm:1997a,
  author = {Roy M. Turner},
  title = {Determining the Context-Dependent Meaning of Fuzzy Subsets},
  booktitle = {Proceedings of the 1997 International and Interdisciplinary
		  Conference on Modeling and Using Context (CONTEXT-97)},
  year = {1997},
  address = {Rio de Janeiro},
  missinginfo = {publisher, pages, editor},
  topic = {context;contextual-reasoning;fuzzy-logic;}
}

@article{ turner_rm:1997b,
  author = {Roy M. Turner},
  title = {Context-Mediated Behavior for Intelligent Agents},
  journal = {International Journal of Human-Computer Studies},
  year = {1997},
  missinginfo = {year, pages, volume, number},
  topic = {context;contextual-reasoning;}
}

@article{ turner_rm:1998a,
  author = {Roy M. Turner},
  title = {Context-Mediated Behavior for Intelligent Agents},
  journal = {International Journal of Human-Computer Studies},
  year = {1998},
  volume = {48},
  number = {3},
  pages = {307--330},
  month = {March},
  topic = {context;}
 }

@inproceedings{ turner_rm:1998b,
  author = {Roy M. Turner},
  title = {Context-Mediated Behavior},
  booktitle = {Proceedings of the 11th International Conference on
	Industrial and Engineering Applications of Artificial
	Intelligence},
  pages = {538--547},
  year = {1998},
  address = {Benicassim, Spain},
  topic = {context;}
 }

@incollection{ turner_rm:1999a,
  author = {Roy M. Turner},
  title = {A Model of Explicit Context Representation
			and Use for Intelligent Agents},
  booktitle = {Modeling and Using Contexts: Proceedings of
	the Second International and Interdisciplinary
	Conference, {CONTEXT}'99},
  publisher = {Springer-Verlag},
  year = {1999},
  editor = {Paolo Bouquet and Luigi Serafini and Patrick
	Br\'ezillon	and Massimo Benerecetti and Francesca
	Castellani},
  pages = {375--388},
  address = {Berlin},
  topic = {context;contextual-reasoning;expert-systems;
		nonmonotonic-reasoning;}
  }

@inproceedings{ turner_rm-etal:2001a,
  author = {Roy M. Turner and Elise H. Turner and Thomas A. Wagner and
    		Thomas J. Wheeler and Nancy E. Ogle},
  title = {Using Explicit, A Priori Contextual Knowledge in
		an Intelligent Web Search Agent},
  booktitle = {Modeling and Using Context: Third International and
  	Interdisciplinary Conference, Context 2001},
  publisher = {Springer-Verlag},
  year = {2001},
  editor = {Varol Akman and Paolo Bouquet and Richmond Thomason
  	and Roger A. Young},
  pages = {343--352},
  address = {Berlin},
  topic = {context;information-retrieval;}
  }

@article{ turner_sr:1995a,
  author = {Scott R. Turner},
  title = {Review of \emph{{T}he Creative Mind}, by {M}argaret {B}oden},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {79},
  number = {1},
  pages = {145--159},
  xref = {Review of boden:1990a.},
  topic = {creativity;}
  }

@article{ turney:1990a,
  author = {Peter Turney},
  title = {Embeddability, Syntax, and Semantics in Accounts of
		Semantic Theories},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {4},
  pages = {429--451},
  topic = {philosophy-of-science;}
  }

@article{ turri:2009a,
  author = {John Turri},
  title = {The Ontology of Epistemic Reasons},
  journal = {No\^us},
  year = {2009},
  volume = {43},
  number = {3},
  pages = {490--512},
  topic = {epistemic-reasons;}
  }

@article{ turri:2010a,
  author = {John Turri},
  title = {Epistemic Invariantism and Speech Act Contextualism},
  journal = {The Philosophical Review},
  year = {2010},
  volume = {119},
  number = {2},
  pages = {77--95},
  topic = {knowledge;context-sensitivity;}
  }

@article{ turvey-carello:1985a,
  author = {M.T. Turvey and Caludia Carello},
  title = {The Equation of Information and Meaning from
		the Perspectives of Situation Semantics and
		{G}ibson's Ecological Realism},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {81--90},
  topic = {situation-semantics;foundations-of-semantics;
  	theories-of-information;}
  }

@article{ tuttle:1993a,
  author = {Mark S. Tuttle},
  title = {Review of \emph{{R}epresentations of Commonsense Knowledge},
  	by {E}. {D}avis and of {\it Building Large Knowledge-Based
	Systems: Representations and Inference in the {CYC} Project},
	by {D}.{B}. {L}enat and {R}.{V}. {G}uha},
  journal = {Artificial Intelligence},
  year = {1993},
  volume = {61},
  number = {1},
  pages = {121--148},
  xref = {Review of lenat-guha:1989a and davis_e:1991a.},
  topic = {common-sense-reasoning;kr;kr-course;}
  }

@article{ tuyls-parsons_s:2007a,
  author = {Karl Tuyls and Simon Parsons},
  title = {What Evolutionary Theory Tells Us about Multiagent Learning},
  journal = {Artificial Intelligence},
  year = {2007},
  volume = {171},
  number = {7},
  pages = {406--416},
  topic = {multiagent-learning;evolutionary-game-theory;}
  }

@article{ tversky:1972a,
  author = {Amos Tversky},
  title = {Elimination by Aspects: A Theory of Choice},
  journal = {Psychological Review},
  year = {1972},
  volume = {79},
  pages = {281--299},
  missinginfo = {number},
  topic = {decision-making;cognitive-psychology;}
  }

@incollection{ tversky:1977a,
  author = {Amos Tversky},
  title = {On the Elicitation of Preferences: Descriptive and
  	Prescriptive Considerations},
  booktitle = {Conflicting Objectives in Decisions},
  publisher = {John Wiley and Sons},
  year = {1977},
  editor = {David E. Bell and Ralph L. Keeney and Howard Raiffa},
  pages = {207--222},
  address = {New York},
  rtnote = {In RHT collection.},
  topic = {decision-analysis;multiattribute-utility;foundations-of-utility;}
  }

@article{ twardy-korb:2004a,
  author = {Charles L. Twardy and Kevin B. Korb},
  title = {A Criterion of Probabilistic Causation},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {3},
  pages = {241--262},
  topic = {causality;probability;}
  }

@article{ twardy-korb:2005a,
  author = {Charles R. Twardy and Kevin B. Korb},
  title = {A Criterion of Probabilistic Causation},
  journal = {Philosophy of Science},
  year = {2004},
  volume = {71},
  number = {3},
  pages = {241--262},
  topic = {causality;probability;Bayesian-networks;}
  }

@article{ tweedale:2004a,
  author = {Martin Tweedale},
  title = {Future Contingents and Deflated Truth-Value Gaps},
  journal = {No\^us},
  year = {2004},
  volume = {38},
  number = {2},
  pages = {264--265},
  topic = {temporal-logic;branching-time;truth-value-gaps;
       future-contingent-propositions;}
  }

@article{ twine:1984a,
  author = {Nanette Twine},
  title = {The Adoption of Punctuation in {J}apanese Script},
  journal = {Visible Language},
  year = {1984},
  volume = {18},
  number = {3},
  pages = {229--237},
  topic = {punctuation;Japanese-language;}
 }

@incollection{ txurruka:2000a,
  author = {Isabel G\'omez Txurruka},
  title = {Philosophy of Logic and Natural Language: Logical
  	and Natural Connectives},
  booktitle = {Three Papers on Logic (Communication, Natural Language
  	Connectives, Many-Valued Modalities)},
  publisher = {Institute for Logic, Cognition, Language, and
  	Information, University of the Basque Country},
  year = {2000},
  editor = {Xabier Arrozola and Bego\~na Carrascal and Kepa Korta
  	and Isabel G\'omez Txurruka},
  pages = {17--25},
  address = {Donostia},
  rtnote = {In RHT collection.  Filed under "Arrozola"},
  topic = {disjunction;coordination;}
  }

@incollection{ txurruka:2001a,
  author = {Isabel G\'omez Txurruka},
  title = {From Logical to Natural Disjunction},
  booktitle = {Meaning and Logic: Disjunction/Implicatures},
  publisher = {Institute for Logic, Cognition, Language, and
  	Information, University of the Basque Country},
  year = {2001},
  editor = {Isabel G\'omez Txurruka and Rodrigo Agerri and Kepa Korta},
  pages = {1--12},
  address = {Donostia},
  rtnote = {In RHT collection.  Filed under "Txurruka"},
  topic = {disjunction;}
  }

@article{ tye:1990a,
  author = {Michael Tye},
  title = {Vague Objects},
  journal = {Mind, New Series},
  year = {1990},
  volume = {119},
  pages = {535--557},
  missinginfo = {number},
  topic = {vagueness;identity;}
  }

@article{ tye:1994a,
  author = {Michael Tye},
  title = {Vagueness, Welcome to the Quicksand},
  journal = {Southern Journal of Philosophy, Supplementary Volume},
  year = {1994},
  volume = {33},
  pages = {1--22},
  topic = {vagueness;identity;fuzzy-logic;}
  }

@article{ tye:1994b,
  author = {Michael Tye},
  title = {Why the Vague Need Not be Higher-Order Vague},
  journal = {Mind, New Series},
  year = {1994},
  volume = {103},
  number = {409},
  pages = {43--45},
  topic = {vagueness;}
  }

@incollection{ tye:1994c1,
  author = {Michael Tye},
  title = {Sorites Paradoxes and the Semantics of Vagueness},
  booktitle = {Philosophical Perspectives, Volume 8:
  	Logic and Language},
  publisher = {Blackwell Publishers},
  year = {1994},
  editor = {James E. Tomberlin},
  pages = {189--206},
  address = {Oxford},
  note = {Also available at http://www.jstor.org/journals/.},
  xref = {Republication: tye:1994c2.},
  topic = {vagueness;sorites-paradox;}
  }

@incollection{ tye:1994c2,
  author = {Michael Tye},
  title = {Sorites Paradox and the Semantics of Vagueness},
  booktitle = {Vagueness: A Reader},
  publisher = {The {MIT} Press},
  year = {1997},
  editor = {Rosanna Keefe and Peter Smith},
  pages = {281--293},
  address = {Cambridge, Massachusetts},
  xref = {Republication of tye:1994c1.},
  topic = {vagueness;sorites-paradox;}
  }

@book{ tye:1997a,
  author = {Michael Tye},
  title = {Ten Problems of Consciousness},
  publisher = {The {MIT} Press},
  year = {1997},
  address = {Cambridge, Massachusetts},
  ISBN = {0-262-70064-6},
  topic = {consciousness;philosophy-of-mind;}
 }

@incollection{ tye:1998a,
  author = {Michael Tye},
  title = {Inverted Earth, Swampman, and
    		Representationalism},
  booktitle = {Philosophical Perspectives 12: Language, Mind,
  	and Ontology},
  publisher = {Blackwell Publishers},
  year = {1998},
  editor = {James E. Tomberlin},
  pages = {459--477},
  address = {Oxford},
  topic = {philosophy-of-mind;mental-representations;}
  }

@incollection{ tye:2007a,
  author = {Michael Tye},
  title = {Qualia},
  booktitle = {The {S}tanford Encyclopedia of Philosophy},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2007/entries/qualia/},
  year = {2007},
  topic = {qualia;}
}

@book{ tyler_sa:1978a,
  author = {S.A. Tyler},
  title = {The Said and the Unsaid},
  publisher = {Academic Press},
  year = {1978},
  address = {New York},
  missinginfo = {A's 1st name.  Check topic.},
  topic = {d-topic;pragmatics;}
 }

@techreport{ tyson-hobbs_jr:1990a,
  author = {Mabry Tyson and Jerry R. Hobbs},
  title = {Domain-Independent Task Specification in the
  	{TACITUS} Natural Language System},
  institution = {SRI International},
  number = {488},
  year = {1990},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.},
  topic = {nl-understanding;}
  }

@article{ tzouvaras:1996a,
  author = {Athanassios Tzouvaras},
  title = {Aspects of Analytic Deduction},
  journal = {Journal of Philosophical Logic},
  year = {1996},
  volume = {25},
  number = {6},
  pages = {581--596},
  topic = {relevance-logic;cut-free-deduction;}
  }

@article{ tzouvaras:1998a,
  author = {Athanassios Tzouvaras},
  title = {Logic of Knowledge and the Liar},
  journal = {Journal of Philosophical Logic},
  year = {1998},
  volume = {27},
  number = {1},
  pages = {85--108},
  topic = {epistemic-logic;semantic-paradoxes;pragmatics;}
  }

@incollection{ uchida:1998a,
  author = {Seiji Uchida},
  title = {Text and Relevance},
  booktitle = {Relevance Theory: Applications and Implications},
  publisher = {John Benjamins Publishing Co.},
  year = {1998},
  editor = {Robyn Carston and Seiji Uchida},
  pages = {160--178},
  address = {Amsterdam},
  topic = {relevance-theory;pragmatics;}
  }

@article{ uchii:1971a,
  author = {S. Uchii},
  title = {\,`Ought' and Conditionals},
  journal = {Logique et Analyse, Nouvelle S\'erie},
  year = {1971},
  volume = {17},
  number = {65--66},
  missinginfo = {A's 1st name, pages},
  topic = {deontic-logic;}
  }

@article{ uckelman:2010a,
  author = {Sara L. Uckelman},
  title = {Logic and the Condemnations of 1277},
  journal = {Journal of Philosophical Logic},
  year = {2010},
  volume = {39},
  number = {2},
  pages = {201--228},
  topic = {history-of-logic;medieval-logic;modal-logic;tense-logic;}
  }

@article{ uebel:2005a,
  author = {Thomas Uebel},
  title = {Review of \emph{{T}he {V}ienna {C}ircle and Logical
  		Empiricism}, edited by {F}riedrich {S}tadler and of
		\emph{{L}anguage, Truth, and Knowledge:  Contribution to the
  		Philosophy of {R}udolf {C}arnap}, edited by {T}homas {B}onk},
  journal = {Philosophy of Science},
  year = {2005},
  volume = {72},
  number = {4},
  pages = {637--642},
  xref = {Review of: stadler:2003a, bonk:2003a.},
  topic = {logical-empiricism;history-of-philosophy;}
  }

@article{ uffink:1996a,
  author = {Jos Uffink},
  title = {The Constraint Rule of the Maximum Entropy Principle},
  journal = {Studies in History and Philosophy of Modern Physics},
  year = {1995},
  volume = {27},
  number = {1},
  pages = {47--79},
  rtnote = {Bas recommends on update. "Maximum entropy updating, and
        its alternatives".},
  rtnote = {In RHT collection.},
  topic = {probability-kinematics;}
  }

@article{ uhr:1975a,
  author = {Leonard Uhr},
  title = {Review of \emph{{C}omputer Models of Thought and Language},
  	edited by {R}oger {C}. {S}chank and {K}enneth {M}ark {C}olby},
  journal = {Artificial Intelligence},
  year = {1975},
  volume = {6},
  number = {3},
  pages = {289--292},
  xref = {Review of: schank_rc-colby:1973a.},
  topic = {nlp-survey;AI-survey;}
  }

@article{ ullian:1984a,
  author = {Joseph Ullian},
  title = {Relatively About: Loose Composites and Loose Ends},
  journal = {Linguistics and Philosophy},
  year = {1984},
  volume = {7},
  number = {1},
  pages = {83--100},
  topic = {relevance;d-topic;}
  }

@article{ ullman:1983a,
  author = {Edna Ullman-Margalit},
  title = {On Presumption},
  journal = {The Journal of Philosophy},
  volume = {70},
  year = {1973},
  pages = {143--163},
  topic = {nonmonotonic-reasoning;}
    }

@article{ ullrich-byrd_m:1977a,
  author = {David Ullrich and Michael Byrd},
  title = {The Existensions of {BAlt$_3$}},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {2},
  pages = {109--117},
  topic = {modal-logic;}
  }

@article{ ulrich_d:1983a,
  author = {Dolf Ulrich},
  title = {The Finite Model Property and Recursive Bounds on the Size
  	of Countermodels},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {4},
  pages = {477--480},
  topic = {finite-model-property;}
  }

@unpublished{ ulrich_w:1972a,
  author = {W. Ulrich},
  title = {What is {R}ussell's Theory of Denoting?},
  year = {1972},
  note = {Unpublished MS, University of California at Irvine},
  rtnote = {In RHT collection.},
  missinginfo = {A's 1st name.  Year is a guess.},
  topic = {Russell;definite-descriptions;}
  }

@incollection{ umemura-church_kw:2000a,
  author = {Kyoji Umemura and Kenneth W. Church},
  title = {Empirical Term Weighting and Expansion Frequency},
  booktitle = {Proceedings of the 2000 Joint {SIGDAT} Conference
  	on Empirical Methods in Natural Language Processing},
  publisher = {Association for Computational Linguistics},
  year = {2000},
  editor = {Hinrich Sch\"utze and Keh-Yih Su},
  pages = {117--123},
  address = {Somerset, New Jersey},
  topic = {term-weighting;}
  }

@book{ underhill:1976a,
  author = {Robert Underhill},
  title = {Turkish Grammar},
  publisher = {The {MIT} Press},
  year = {1976},
  address = {Cambridge, Massachusetts},
  topic = {nonlinguistic-grammars;Turkish-language;}
  }

@incollection{ unger:1974a,
  author = {Peter Unger},
  title = {Truth},
  booktitle = {Semantics and Philosophy},
  publisher = {New York University Press},
  year = {1974},
  editor = {Milton K. Munitz and Peter K. Unger},
  pages = {257--291},
  address = {New York},
  topic = {truth;}
  }

@incollection{ unger:1979a,
  author = {Peter Unger},
  title = {I Do Not Exist},
  booktitle = {Perception and Identity},
  publisher = {Macmillan},
  year = {1979},
  address = {London},
  editor = {G.F. Macdonald},
  missinginfo = {pages, E's 1st name},
  topic = {skepticism;}
  }

@article{ unger:1980a,
  author = {Peter Unger},
  title = {There Are No Ordinary Things},
  journal = {Synth\'ese},
  year = {1980},
  volume = {41},
  pages = {117--154},
  missinginfo = {number},
  topic = {skepticism;vagueness;}
  }

@incollection{ unger:1984a,
  author = {Peter Unger},
  title = {Minimizing Arbitrariness: Toward a Metaphysics of
  	Infinitely Many Isolated Concrete Worlds},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {29--51},
  address = {Minneapolis},
  topic = {philosophy-of-possible-worlds;conditionals;}
  }

@incollection{ unger:1986a,
  author = {Peter Unger},
  title = {Consciousness},
  booktitle = {Midwest Studies in Philosophy Volume {X}:
  	Studies in the Philosophy of Mind},
  publisher = {University of Minnesota Press},
  year = {1986},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard K.
  	Wettstein},
  pages = {63--100},
  address = {Minneapolis},
  topic = {personal-identity;consciousness;}
  }

@book{ unger:1990a,
  author = {Peter Unger},
  title = {Identity, Consciousness and Value},
  publisher = {Oxford University Press},
  year = {1996},
  address = {Oxford},
  topic = {metaphysics;epistemology;philosophy-of-mind;skepticism;}
 }

@incollection{ unger:2000a,
  author = {Peter Unger},
  title = {The Survival of the Sentient},
  booktitle = {Philosophical Perspectives 14: Action and Freedom},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {James E. Tomberlin},
  pages = {325--348},
  address = {Oxford},
  topic = {personal-identity;}
  }

@book{ uriagereka:1998a,
  author = {Juan Uriagereka},
  title = {Rhyme and Reason: An Introduction to Minimalist
  	Syntax},
  publisher = {The {MIT} Press},
  year = {1998},
  address = {Cambridge, Massachusetts},
  topic = {syntactic-minimalism;nl-syntax;}
 }

@inproceedings{ uribeetxebarria:1995a,
  author = {Myriam Uribe-Etxebarria},
  title = {Negative Polarity Item Licensing, Indefinites and
		Complex Predicates},
  booktitle = {Proceedings from Semantics and Linguistic Theory {V}},
  year = {1995},
  editor = {Mandy Simons and Teresa Galloway},
  pages = {346--361},
  publisher = {Cornell University},
  address = {Ithaca, New York},
  note = {Available from CLC Publications, Department of Linguistics,
  	Morrill Hall, Cornell University, Ithaca, NY 14853-4701.},
  topic = {nl-semantics;polarity;}
  }

@article{ urmson_c-etal:2009a,
  author = {Chris Urmson and Chris Baker and John Dolan and Paul
  		Rybski and Bryan Salesky and William Whittaker and
		Dave Ferguson and Michael Darms},
  title = {Autonomous Driving in Traffic:  {B}oss and the Urban Challenge},
  journal = {The {AI} Magazine},
  year = {2009},
  volume = {30},
  number = {2},
  pages = {17--28},
  topic = {autonomous-vehicles;}
  }

@incollection{ urmson_jo:1960a,
  author = {J.O. Urmson},
  title = {Parenthetical Verbs},
  booktitle = {Essays in Conceptual Analysis},
  publisher = {Macmillam},
  year = {1960},
  editor = {Antony Flew},
  pages = {192--212},
  address = {London},
  topic = {parentheticals;}
  }

@article{ urmson_jo:1965a,
  author = {J.O. Urmson},
  title = {J.{L}. {A}ustin},
  journal = {The Journal of Philosophy},
  year = {1965},
  volume = {62},
  number = {19},
  pages = {499--508},
  topic = {JL-Austin;}
  }

@incollection{ urmson_jo:1978a,
  author = {J.O. Urmson},
  title = {Performative Utterances},
  booktitle = {Contemporary Perspectives in the Philosophy of Language},
  publisher = {University of Minnesota Press},
  year = {1978},
  editor = {Peter A. French and Theodore E. {Uehling, Jr.} and Howard
  	K. Wettstein},
  pages = {260--267},
  address = {Minneapolis},
  topic = {speech-acts;JL-Austin;}
  }

@incollection{ urmson_jo-etal:1969a,
  author = {J.O. Urmson and Willard V.O. Quine and Stuart Hampshire},
  title = {A Symposium on {A}ustin's Method},
  booktitle = {Symposium on J.L. Austin},
  publisher = {Routledge and Kegan Paul},
  year = {1969},
  editor = {K.T. Fann},
  pages = {76--97},
  address = {London},
  missinginfo = {E's 1st name.},
  topic = {JL-Austin;ordinary-language-philosophy;}
  }

@article{ urquhart:1973a,
  author = {Alasdair Urquhart},
  title = {A Semantical Theory of Analytic Implication},
  journal = {Journal of Philosophical Logic},
  year = {1973},
  volume = {2},
  number = {2},
  pages = {212--219},
  topic = {relevance-logic;}
  }

@article{ urquhart:1981a,
  author = {Alisdair Urquhart},
  title = {Decidability and the Finite Model Property},
  journal = {Journal of Philosophical Logic},
  year = {1981},
  volume = {10},
  number = {2},
  pages = {367--370},
  contentnote = {Gives example of recursively axiomatized logic with
  	finite matrix property that is undecidable.  (Every finitely
	axiomatized logic with the FMP is decidable.)},
  topic = {finite-matrix;undecidability;}
  }

@article{ urquhart:1984a,
  author = {Alisdair Urquhart},
  title = {The Undecidability of Entailment and Relevant Implication},
  journal = {Journal of Symbolic Logic},
  year = {1984},
  volume = {49},
  number = {5},
  pages = {1059--1073},
  missinginfo = {number},
  topic = {relevance-logic;}
  }

@incollection{ urquhart:1986a,
  author = {Alisdair Urquhart},
  title = {Many-Valued Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives in Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {71--116},
  address = {Dordrecht},
  topic = {multivalued-logic;}
 }

@article{ urquhart:1993a,
  author = {Alisdair Urquhart},
  title = {Failure of Interpolation in Relevant Logics},
  journal = {Journal of Philosophical Logic},
  year = {1993},
  volume = {22},
  number = {5},
  pages = {449--480},
  topic = {relevance-logic;proof-theory;}
  }

@article{ urquhart:1995a,
  author = {Alisdair Urquhart},
  title = {The Complexity of Propositional Proofs},
  journal = {The Bulletin of Symbolic Logic},
  year = {1995},
  volume = {1},
  number = {4},
  pages = {425--467},
  topic = {complexity;proof-theory;}
  }

@inproceedings{ urquhart:2000a,
  author = {Alisdair Urquhart},
  title = {The Complexity of Linear Logic with Weakening},
  booktitle = {Logic Colloquium'98: Proceedings of the Annual
  	European Summer Meeting of the Association for Symbolic
	Logic},
  year = {2000},
  editor = {Samuel R. Buss and Petr H\'ajek and Pavel Publ\'ak},
  pages = {500--515},
  publisher = {Association for Symbolic Logic},
  address = {Poughkeepsie},
  xref = {Review: jervell:2002a.},
  topic = {linear-logic;proof-theory;complexity-theory;}
  }

@article{ urquhart:2004a,
  author = {Alisdair Urquhart},
  title = {Review of \emph{{T}he Limits of Abstraction}, by {K}it
  	{F}ine},
  journal = {The Journal of Philosophy},
  year = {2004},
  volume = {101},
  number = {11},
  pages = {594--598},
  xref = {Review of: fine_k:2002a.},
  topic = {logicism;higher-order-logic;}
  }

@article{ usberti:1977a,
  author = {Gabriele Usberti},
  title = {On the Treatment of Perceptual Verbs in {M}ontague
  	Grammar: Some Philosophical Remarks},
  journal = {Journal of Philosophical Logic},
  year = {1977},
  volume = {6},
  number = {3},
  pages = {303--317},
  topic = {logic-of-perception;Montague-grammar;}
  }

@unpublished{ uschold:1995a,
  author = {Mike Uschold},
  title = {Towards a Methodology for Building Ontologies},
  year = {1995},
  note = {Workshop on Ontological Issues in Knowledge Sharing, held
  	in conduction with IJCAI-95.
        http://www.aiai.ed.ac.uk/project/pub/ documents/1996/96-es96-unified-method.ps},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;software-engineering;
  	knowledge-engineering;}
  }

@article{ uschold-gruninger:1996a,
  author = {Mike Uschold and Michael Gr\"uninger},
  title = {Ontologies: Principles, Methods, and Applications},
  journal = {Knowledge Engineering Review},
  year = {1986},
  volume = {11},
  number = {2},
  pages = {93--136},
  contentnote = {This is a TOVE paper.},
  rtnote = {In RHT collection.},
  topic = {computational-ontology;}
  }

@article{ ushenko:1953a,
  author = {A.P. Ushenko},
  title = {The Principles of Causality},
  journal = {The Journal of Philosophy},
  year = {1953},
  volume = {50},
  pages = {85--101},
  missinginfo = {number},
  xref = {Review: watling:1957d.},
  topic = {natural-laws;causality;}
  }

@article{ ushenko:1954a,
  author = {A.P. Ushenko},
  title = {The Counterfactual},
  journal = {The Journal of Philosophy},
  year = {1954},
  volume = {51},
  missinginfo = {number},
  pages = {369--383},
  xref = {Review: watling:1957b.},
  contentnote = {Subjunctive conditionals express the existence
  		of dispositions.  No indicative statement entails
		the falsehood of a subjunctive conditional, no
		subjunctive conditional entails any indicative.},
  topic = {conditionals;dispositions;}
  }

@article{ usher:2006a,
  author = {Marius Usher},
  title = {Control, Choice, and the Convergence/Divergence Dynamics:
  		A Compatibilist Probabilistic Theory of the Will},
  journal = {The Journal of Philosophy},
  year = {2006},
  volume = {103},
  number = {4},
  pages = {188--213},
  topic = {freedom;volition;(in)compatibilism;}
  }

@techreport{ uszkoreit-peters:1983a,
  author = {Hans Uszkoreit and Stanley Peters},
  title = {On Some Formal Properties of Metarules},
  institution = {SRI International},
  number = {Technical Note 305},
  year = {1983},
  address = {Menlo Park, California},
  rtnote = {In RHT collection.  Did this appear in L&P?},
  topic = {GPSG;}
  }

@article{ uszkoreit-peters:1986a,
  author = {Hans Uszkoreit and Stanley Peters},
  title = {On Some Formal Properties of Metarules},
  journal = {Linguistics and Philosophy},
  year = {1986},
  volume = {9},
  number = {4},
  pages = {477--494},
  topic = {GPSG;}
  }

@inproceedings{ utsuro-etal:1993a,
  author = {Takehito Utsuro and Yuji Matsumoto and Makoto Nagao},
  title = {Verbal Case Frame Acquisition From Bilingual Corpora},
  booktitle = {Proceedings of the Fourteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1995},
  editor = {Ruzena Bajcsy},
  pages = {1150--1156},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {Give ref to Pam.},
  topic = {automatic-grammar-acquisition;}
  }

@article{ uzquiano:2002a,
  author = {Gabriel Uzquiano},
  title = {Categoricity Theorems and Conceptions of Set},
  journal = {The Journal of Philosophy},
  year = {2002},
  volume = {99},
  number = {2},
  pages = {181--196},
  topic = {set-theory;foundations-of-set-theory;}
  }

@article{ uzquiano:2006a,
  author = {Gabriel Uzquiano},
  title = {Review of \emph{{T}he Reason's Proper Study: Essays toward
  	a Neo-{F}regean Philosophy of Mathematics}, by },
  journal = {The Bulletin of Symbolic Logic},
  year = {2006},
  volume = {12},
  number = {2},
  pages = {291--294},
  xref = {Review of: hale_b-wright_c:2001a.},
  topic = {foundations-of-mathematics;logicism;(im)predicativity;}
  }

@incollection{ uzquiano:2006b,
  author = {Gabriel Uzq\uiano},
  title = {Unrestricted Quantification:
     		The Cardinal Problem of Absolute Generality},
  booktitle = {Absolute Generality},
  publisher = {Oxford University Press},
  year = {2006},
  editor = {August\'in Rayo and Gabriel Uzquiano},
  pages = {305--332},
  address = {Oxford},
  topic = {philosophical-ontology;unrestrictive-quantification;
  		set-theory;}
  }

@incollection{ vaanaen:1995a,
  author = {Jouko Vaanaen},
  title = {Games and Trees in Infinitary Logic: A Survey},
  booktitle = {Quantifiers: Logic, Models, and Computation, Vol. 1},
  publisher = {Kluwer Academic Publishers},
  year = {1995},
  editor = {Micha{\l} Krynicki and Marcin Mostowski and Les{\l}aw W.
  	Szczerba},
  pages = {105--138},
  address = {Dordrecht},
  topic = {infinitary-logic;}
  }

@article{ vaananen:1997a,
  author = {Jouko V\"a\"an\"anen},
  title = {Unary Quantifiers on Finite Models},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {3},
  pages = {275--304},
  topic = {quantifiers;finite-models;}
  }

@article{ vaananen:2001a,
  author = {Jouko V\"a\"an\"anen},
  title = {Second-Order Logic and Foundations of Mathematics},
  journal = {The Bulletin of Symbolic Logic},
  year = {2001},
  volume = {7},
  number = {4},
  pages = {504--520},
  topic = {higher-order-logic;foundations-of-set-theory;}
  }

@book{ vaananen-oikkonen:1994a,
  editor = {Jouko V\"a\"an\"anen and Juha Oikkonen},
  title = {Logic Colloquium '90},
  publisher = {Springer-Verlag},
  year = {1994},
  address = {Berlin},
  ISBN = {3540570942},
  topic = {mathematical-logic;}
 }

@article{ vaananen-westerstahl:2002a,
  author = {Jouko V\"a\"an\"anen and Dag Westerst{\aa}hl},
  title = {On the Expressive Power of Monotone Natural Language
  	Quantifiers over Finite Models},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {4},
  pages = {327--358},
  topic = {generalized-quantifiers;}
  }

@article{ vaidya:2006a,
  author = {Anand Jayprakash Vaidya},
  title = {The Metaphysical Foundation of Logic},
  journal = {Journal of Philosophical Logic},
  year = {2006},
  volume = {35},
  number = {2},
  pages = {179--182},
  topic = {foundations-of-logic;logical-consequence;}
  }

@book{ vaina-hintikka:1984a,
  editor = {Lucia Vaina and Jaakko Hintikka},
  title = {Cognitive Constraints On Communication: Representations and
    	Processes},
  publisher = {D. Reidel Publishing Co.},
  year = {1984},
  address = {Dordrecht},
  ISBN = {9027714568},
  rtnote = {UMich Graduate Library, BF637.C45 C631 1984.},
  topic = {pragmatics;communication;}
 }

@incollection{ vakarelov:1996a,
  author = {Dimiter Vakarelov},
  title = {Many-Dimensional Arrow Structures: Arrow Logics {II}},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {141--187},
  address = {Stanford, California},
  topic = {arrow-logic;}
  }

@incollection{ vakarelov:1998a,
  author = {Dimiter Vakarelov},
  title = {Hyper Arrow Structures.  Arrow Logics {III}},
  booktitle = {Advances in Modal Logic, Volume 1},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing},
  pages = {269--290},
  address = {Stanford, California},
  topic = {modal-logic;}
  }

@article{ vakarelov:2000a,
  author = {Dimiter Vakarelov},
  title = {Review of \emph{{M}ulti-Dimensional Modal Logic}, by
  	{M}aarten {M}arx and {Y}de {V}enema},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {4},
  pages = {490--495},
  xref = {Review of marx-venema:1997a.},
  topic = {modal-logic;}
  }

@article{ valberg:1970a,
  author = {J.J. Valberg},
  title = {Some Remarks on Action and Desire},
  journal = {The Journal of Philosophy},
  year = {1970},
  volume = {67},
  number = {15},
  pages = {503--520},
  topic = {desire;action;}
  }

@article{ valdesperez:1994a,
  author = {Ra\'ul Vald\'es-P\'erez},
  title = {Conjecturing Hidden Entities by Means of Simplicity and
  	Conservation Laws: Machine Discovery in Chemistry},
  journal = {Artificial Intelligence},
  year = {1994},
  volume = {65},
  number = {2},
  pages = {247--280},
  topic = {computer-assisted-science;}
  }

@article{ valdesperez:1995a,
  author = {Ra\'ul Vald\'es-P\'erez},
  title = {Machine Discovery in Chemistry: New Results},
  journal = {Artificial Intelligence},
  year = {1995},
  volume = {74},
  number = {1},
  pages = {191--201},
  topic = {computer-assisted-science;}
  }

@article{ valdesperez:1996a,
  author = {Ra\'ul Vald\'es-P\'erez},
  title = {A New Theorem in Particle Physics Enabled by
  	Machine Discovery},
  journal = {Artificial Intelligence},
  year = {1996},
  volume = {82},
  number = {1--2},
  pages = {331--339},
  topic = {computer-assisted-science;computer-assisted-physics;
  	scientific-discovery;}
  }

@article{ valdesperez:1999a,
  author = {Ra\'ul E. Vald\'es-P\'erez},
  title = {Principles of Human-Computer Collaboration for
  	Knowledge Discovery in Science},
  journal = {Artificial Intelligence},
  year = {1999},
  volume = {107},
  number = {2},
  pages = {335--346},
  topic = {HCI;scientific-discovery;}
  }

@incollection{ valdivia:2000a,
  author = {Lourdes Valdivia},
  title = {Vagueness as a Psychological Notion},
  booktitle = {Skepticism},
  publisher = {Blackwell Publishers},
  year = {2000},
  editor = {Ernest Sosa and Enrique Villanueva},
  pages = {282--288},
  address = {Oxford},
  topic = {vagueness;sorites-paradox;}
  }

@techreport{ valencia:1987a,
  author = {V\'ictor S\'anchez Valencia},
  title = {Traditional Logic and {D}e{M}organ's Example},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--87--08},
  year = {1987},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {history-of-logic;DeMorgan;relational-reasoning;}
  }

@techreport{ valencia:1989a,
  author = {V\'ictor S\'anchez Valencia},
  title = {Pierce's Propositional Logic: From Algebra to Graphs},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {89--08},
  year = {1989},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {algebraic-logic;Peirce;}
  }

@techreport{ valencia:1991a,
  author = {V\'ictor S\'anchez Valencia},
  title = {Categorial Grammar and Natural Reasoning},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--91--08},
  year = {1991},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;}
  }

@incollection{ valencia:1998a,
  author = {V\'ictor S\'anchez Valencia},
  title = {Polarity, Predicates, and Monotonicity},
  booktitle = {Computing Natural Language},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl},
  pages = {97--117},
  address = {Stanford, California},
  topic = {polarity;polarity-sensitivity;}
  }

@book{ valente:1995a,
  author = {A. Valente},
  year = {1995},
  title = {Legal Knowledge Engineering: A Modelling Approach},
  publisher = {IOS Press},
  address = {Amsterdam},
  topic = {legal-AI;}
  }

@article{ valentini:1983a,
  author = {Silvio Valentini},
  title = {The Modal Logic of Provability: Cut Elimination},
  journal = {Journal of Philosophical Logic},
  year = {1983},
  volume = {12},
  number = {4},
  pages = {471--476},
  topic = {modal-logic;cut-free-deduction;}
  }

@article{ valiant_lg:2000a,
  author = {Leslie G. Valiant},
  title = {Robust Logics},
  journal = {Artificial Intelligence},
  year = {2000},
  volume = {117},
  number = {2},
  pages = {231--253},
  acontentnote = {Abstract:
     Suppose that we wish to learn from examples and counter-examples
     a criterion for recognizing whether an assembly of wooden blocks
     constitutes an arch.  Suppose also that we have preprogrammed
     recognizers for various relationships, e.g., on-top-of(x,y),
     above(x,y), etc.  And believe that some possibly complex
     expression in terms of these base relationships should suffice
     to approximate the desired notion of an arch.  How can we
     formulate such a relational learning problem so as to exploit
     the benefits that are demonstrably available in propositional
     learning, such as attribute-efficient learning by linear
     separators, and error-resilient learning?
      We believe that learning in a general setting that allows for
     multiple objects and relations in this way is a fundamental key
     to resolving the following dilemma that arises in the design of
     intelligent systems: Mathematical logic is an attractive
     language of description because it has clear semantics and sound
     proof procedures.  However, as a basis for large programmed
     systems it leads to brittleness because, in practice, consistent
     usage of the various predicate names throughout a system cannot
     be guaranteed, except in application areas such as mathematics
     where the viability of the axiomatic method has been
     demonstrated independently.
      In this paper we develop the following approach to
     circumventing this dilemma.  We suggest that brittleness can be
     overcome by using a new kind of logic in which each statement is
     learnable.  By allowing the system to learn rules empirically
     from the environment, relative to any particular programs it may
     have for recognizing some base predicates, we enable the system
     to acquire a set of statements approximately consistent with
     each other and with the world, without the need for a globally
     knowledgeable and consistent programmer.
      We illustrate this approach by describing a simple logic that
     has a sound and efficient proof procedure for reasoning about
     instances, and that is rendered robust by having the rules
     learnable.  The complexity and accuracy of both learning and
     deduction are provably polynomial bounded. },
  topic = {PAC-learning;rule-learning;foundations-of-logic;}
  }

@article{ valiant_lg:2000b,
  author = {Leslie G. Valient},
  title = {A Neuroidal Architecture for Cognitive Computation},
  journal = {Journal of the Association for Computing Machinery},
  year = {2000},
  volume = {47},
  number = {5},
  pages = {854--882},
  topic = {machine-learning;structure-learning;}
  }

@article{ valiouli:1994a,
  author = {Maria Valiouli},
  title = {Anaphora, Agreement, and Right Dislocations in {G}reek},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {1},
  pages = {55--82},
  topic = {anaphora;Greek-language;right-dislocation;pragmatics;}
  }

@article{ vallantyne:1997a,
  author = {Peter Vallantyne},
  title = {Intrinsic Properties Defined},
  journal = {Philosophical Studies},
  year = {1997},
  volume = {88},
  pages = {209--219},
  missinginfo = {number},
  topic = {internal/external-properties;}
  }

@book{ vallduvi:1992a,
  author = {Enric Vallduv\'{\i}},
  title = {The Informational Component},
  publisher = {Garland Publishing},
  year = {1992},
  series = {Outstanding Dissertations in Linguistics},
  address = {New York},
  topic = {situation-semantics;information-structure;}
 }

@incollection{ vallduvi:1994a,
  author = {Enric Valldvu\'{\i}},
  title = {The Dynamics of Information Packaging},
  booktitle = {Integrating Information Structure into
		  Constraint-based and Categorial Approaches},
  publisher = {ILLC},
  year = {1994},
  editor = {Elisabet Engdahl},
  pages = {1--26},
  address = {Amsterdam},
  note = {DYANA-2 Report R.1.3.B},
  topic = {situation-semantics;information-structure;}
 }

@incollection{ vallduvi:2002a,
  author = {Enric Vallduv\'i},
  title = {Information Packaging and Dialog},
  booktitle = {{EDILOG} 2002: Proceedings of the Sixth Workshop on the
  	Semantics and Pragmatics of Dialogue},
  publisher = {Cognitive Science Centre, University of Edinburgh},
  year = {2002},
  editor = {Johan Bos and Mary Ellen Foster and Colin Mathesin},
  pages = {4},
  address = {Edinburgh},
  topic = {information-structure;}
  }

@phdthesis{ vanaken:1982a,
  author = {James H. {van Aken}},
  title = {Intuitive Pictures of Axiomatic Set Theory},
  school = {Princeton University},
  year = {1982},
  type = {Ph.{D}. Dissertation},
  address = {Princeton, New Jersey},
  rtnote = {In RHT collection.},
  topic = {foundations-of-set-theory;}
 }

@article{ vanaken:1987a,
  author = {James {van Aken}},
  title = {Analysis of Quantum Probability Theory {I}},
  journal = {Journal of Philosophical Logic},
  year = {1987},
  volume = {16},
  number = {3},
  pages = {267--296},
  topic = {quantum-logic;}
  }

@article{ vanaken:1989a,
  author = {James {van Aken}},
  title = {Analysis of Quantum Probability Theory {II}},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {15},
  number = {3},
  pages = {333--367},
  topic = {quantum-logic;foundations-of-quantum-mechanics;}
  }

@unpublished{ vanaken:2004a,
  author = {James van Aken},
  title = {Mathematical Philosophy},
  year = {2004},
  note = {Unpublished manuscript, Santa Monica, California},
  rtnote = {In RHT collection.},
  topic = {logicism;}
  }

@article{ vanallen-etal:2008a,
  author = {Tim Van Allen and Ajit Singh and Russell Greiner and
  		Peter Hooper},
  title = {Quantifying the Uncertainty of a Belief Net Response:
  		{B}ayesian Error-Bars for Belief Net Inference},
  journal = {Artificial Intelligence},
  year = {2008},
  volume = {172},
  number = {4--5},
  pages = {483--513},
  topic = {Bayesian-networks;}
  }

@article{ vanalten:2006a,
  author = {C.J. van Alten},
  title = {On Varieties of Biresiduation Algebras},
  journal = {Studia Logica},
  year = {2006},
  volume = {83},
  number = {1--3},
  pages = {425--445},
  topic = {modal-logic;algebrac-logic;}
  }

@article{ vanatten:2004a,
  author = {Mark van Atten},
  title = {Review of \emph{{G}nomes in the Fog: The Reception of
  	{B}rouwer's Intuitionism in the 1920s}, by
	{D}ennis {E}. {H}esseling},
  journal = {Bulletin of Symbolic Logic},
  year = {2004},
  volume = {10},
  number = {3},
  pages = {423--427},
  xref = {Review of: hesseling:2003a.},
  topic = {history-of-logic;history-of-mathematics;}
  }

@article{ vanatten:2009a,
  author = {Mark van Atten},
  title = {Review of \emph{{D}ie {M}athematik und das Synthetische
  	{A}priori}, by {M}atthias {W}ille},
  journal = {The Bulletin of Symbolic Logic},
  year = {2009},
  volume = {15},
  number = {1},
  pages = {91--94},
  xref = {Review of: wille:2007a.},
  topic = {philosophy-of-mathematics;}
  }

@article{ vanatten-dalen:2002a,
  author = {Mark van Atten and Dirk van Dalen},
  title = {Arguments for the Continuity Principle},
  journal = {The Bulletin of Symbolic Logic},
  year = {2002},
  volume = {8},
  number = {3},
  pages = {329--348},
  topic = {intuitionistic-mathematics;}
  }

@article{ vanatten-kennedy_j:2003a,
  author = {Mark van Atten and Juliette Kennedy},
  title = {On the Philosophical Development of {K}urt {G}\"odel},
  journal = {The Bulletin of Symbolic Logic},
  year = {2003},
  volume = {9},
  number = {4},
  pages = {425--476},
  topic = {Goedel;foundations-of-mathematics;phenomenology;}
  }

@incollection{ vanbaalen:1991a,
  author = {Jeffrey {van Baalen}},
  title = {The Completeness of {DRAT}, A Technique for Automatic
  	Design of Satisfiability Procedures},
  booktitle = {{KR}'91: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1991},
  editor = {James F. Allen and Richard Fikes and Erik Sandewall},
  pages = {514--525},
  address = {San Mateo, California},
  topic = {kr;theorem-proving;kr-course;}
  }

@article{ vanbaalen:1992a,
  author = {Jeffrey Van Baalen},
  title = {Automated Design of Specialized Representations},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {54},
  number = {1--2},
  pages = {121--198},
  acontentnote = {Abstract:
     We present a general notion of specialized representation and a
     methodology that automates the design of such representations.
     These representations are combinations of data structure and
     procedure that efficiently perform inferences required in
     solving a problem.  Our implementation of the methodology begins
     with a problem stated in a sorted first-order logic and designs
     a representation for the problem by combining building blocks,
     called representation schemes.  It has a library of
     representation schemes.  A scheme is identified for use in
     designing a representation by matching a description of the
     inferences it performs against one or more statements in a
     problem.  Once a scheme is designed into a representation the
     general problem solver need no longer consider the problem
     statements matched in the scheme identification process because
     the scheme computes the required inferences from those
     statements.  The machinery to perform the required inferences
     has been moved out of the problem solving cycle and into the
     representation.  Experience with the implementation has shown
     that a theorem prover reasoning about a smaller set of
     statements in a specialized representation is dramatically more
     efficient than reasoning about the original set of statements in
     the original representation.  },
  topic = {problem-solving;theorem-proving;kr;}
  }

@incollection{ vanbaalen-fikes:1994a,
  author = {Jeffrey {Van Baalen} and Richard E. Fikes},
  title = {The Role of Reversible Grammars in Translating Between
  	Representation Languages},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {562--571},
  address = {San Francisco, California},
  topic = {kr;kr-representation-languages;knowledge-sharing;kr-course;}
  }

@article{ vanbeek:1990a,
  author = {Peter {van Beek}},
  title = {Exact and Approximate Reasoning about Temporal Reasoning},
  journal = {Compuational Intelligence},
  year = {1990},
  volume = {6},
  pages = {132--144},
  missinginfo = {number},
  topic = {temporal-reasoning;}
  }

@article{ vanbeek:1992a,
  author = {Peter van Beek},
  title = {Reasoning about Qualitative Temporal Information},
  journal = {Artificial Intelligence},
  year = {1992},
  volume = {58},
  number = {1--3},
  pages = {297--326},
  topic = {qualitative-reasoning;temporal-reasoning;}
  }

@article{ vanbeek-cohen_r1:1990a,
  author = {Peter {van Beek} and Robin Cohen},
  title = {Exact and Approximate Reasoning about Temporal Relations},
  journal = {Computational Intelligence},
  year = {1990},
  volume = {6},
  number = {3},
  pages = {132--144},
  rtnote = {In RHT collection.},
  topic = {temporal-reasoning;}
  }

@incollection{ vanbeek-dechter_r:1994a,
  author = {Peter {Van Beek} and Rina Dechter},
  title = {Constraint Tightness versus Global Consistency},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
  pages = {572--582},
  address = {San Francisco, California},
  topic = {kr;constraint-propagation;constraint-networks;kr-course;}
  }

@article{ vanbenthem:1974a,
  author = {Johan {van Benthem}},
  title = {Hintikka on Analyticity},
  journal = {Journal of Philosophical Logic},
  year = {1974},
  volume = {3},
  number = {4},
  pages = {419--431},
  topic = {analyticity;}
  }

@article{ vanbenthem:1975a,
  author = {Johan {van Benthem}},
  title = {A Note on Modal Formulas and Relational Properties},
  journal = {Journal of Symbolic Logic},
  year = {1975},
  volume = {40},
  number = {55--58},
  topic = {modal-logic;}
  }

@article{ vanbenthem:1978a,
  author = {Johan {van Benthem}},
  title = {Two Simple Incomplete Modal Logics},
  journal = {Theoria},
  year = {1978},
  volume = {44},
  pages = {25--37},
  missinginfo = {number},
  topic = {modal-logic;}
  }

@article{ vanbenthem:1978b,
  author = {Johan {van Benthem}},
  title = {Four Paradoxes},
  journal = {Journal of Philosophical Logic},
  year = {1978},
  volume = {7},
  number = {1},
  pages = {49--72},
  topic = {paradoxes;foundations-of-set-theory;semantic-paradoxes;}
  }

@article{ vanbenthem:1980a,
  author = {Johan {Van Benthem}},
  title = {General Dynamics},
  journal = {Theoretical Linguistics},
  year = {1980},
  volume = {7},
  number = {1/2},
  pages = {159--201},
  topic = {nl-semantics;dynamic-logic;}
  }

@incollection{ vanbenthem:1981a,
  author = {Johan {van Benthem}},
  title = {Tense Logic,, Second-Order Logic, and Natural Language},
  booktitle = {Aspects of Philosophical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1981},
  editor = {Uwe M\"onnich},
  pages = {1--20},
  address = {Dordrecht},
  topic = {temporal-logic;higher-order-logic;}
  }

@unpublished{ vanbenthem:1981b,
  author = {Johan {van Benthem}},
  title = {Correspondence Theory: The Connection between Intensional
  	and Classical Logic},
  year = {1981},
  note = {Unpublished manuscript, Rijksuniversiteit Groningen},
  rtnote = {In RHT collection.},
  topic = {modal-logic;higher-order-logic;}
  }

@unpublished{ vanbenthem:1982a,
  author = {Johan {van Benthem}},
  title = {Behind the Scenes of Conditional Logic},
  year = {1982},
  rtnote = {In RHT collection.},
  note = {Unpublished manuscript, Filosophisch Institut,
  	Rijksuniversiteit, Groningen.},
  topic = {conditionals;}
  }

@book{ vanbenthem:1983a,
  author = {Johan {van Benthem}},
  title = {The Logic of Time},
  publisher = {D. Reidel Publishing Company},
  year = {1983},
  address = {Dordrecht},
  xref = {Review: burgess_jp:1984a.},
  topic = {temporal-logic;}
 }

@book{ vanbenthem:1983b,
  author = {Johan {van Benthem}},
  title = {Modal Logic and Classical Logic},
  publisher = {Bibliopolis},
  year = {1983},
  address = {Naples},
  topic = {modal-logic;}
 }

@article{ vanbenthem:1983c,
  author = {Johan {van Benthem}},
  title = {Determiners and Logic},
  journal = {Linguistics and Philosophy},
  year = {1983},
  volume = {6},
  number = {4},
  pages = {447--478},
  topic = {nl-semantics;determiners;generalized-quantifiers;}
  }

@techreport{ vanbenthem:1983d,
  author = {Johan {van Benthem}},
  title = {Tenses in Real Time},
  institution = {Department of Mathematics, Simon Frazer University.},
  number = {83-26},
  year = {1983},
  address = {Burnaby, British Columbia},
  rtnote = {In RHT collection.},
  topic = {nl-tense;}
  }

@article{ vanbenthem:1984a,
  author = {Johan {van Benthem}},
  title = {Foundations of Conditional Logic},
  journal = {Journal of Philosophical Logic},
  year = {1984},
  volume = {13},
  number = {3},
  pages = {303--349},
  topic = {conditionals;generalized-quantifiers;}
  }

@incollection{ vanbenthem:1984b,
  author = {Johan {van Benthem}},
  title = {Correspondence Theory},
  booktitle = {Handbook of Philosophical Logic, Volume {II}:
  	Extensions of Classical Logic},
  publisher = {D. Reidel Publishing Company},
  year = {1984},
  editor = {Dov Gabbay and Franz Guenthner},
  pages = {167--247},
  address = {Dordrecht},
  topic = {modal-logic;modal-correspondence-theory;}
  }

@techreport{ vanbenthem:1984c,
  author = {Johan van Benthem},
  title = {Partiality and Nonmonotonicity in Classical Logic},
  institution= {Center for the Study of Language and Information},
  number = {CSLI--84--12},
  year = {1984},
  address = {Stanford University, Stanford California.},
  rtnote = {In RHT collection.},
  topic = {partial-logic;nonmonotonic-logic;}
  }

@incollection{ vanbenthem:1984d,
  author = {Johan van Benthem},
  title = {The Logic of Semantics},
  booktitle = {Varieties of Formal Semantics},
  publisher = {Foris Publications},
  year = {1984},
  editor = {Fred Landman and Frank Veltman},
  pages = {55--80},
  address = {Dordrecht},
  topic = {nl-quantifiers;generalized-quantifiers;categorial-grammar;}
  }

@article{ vanbenthem:1984e,
  author = {Johan van Benthem},
  title = {Tense Logic and Time},
  journal = {Notre {D}ame Journal of Formal Logic},
  year = {1984},
  volume = {25},
  number = {1},
  pages = {1--16},
  rtnote = {In RHT collection.},
  topic = {tense-logic;}
  }

@article{ vanbenthem:1985a,
  author = {Johan {van Benthem}},
  title = {Situations and Inference},
  journal = {Linguistics and Philosophy},
  year = {1985},
  volume = {8},
  number = {1},
  pages = {3--8},
  topic = {situation-semantics;}
  }

@incollection{ vanbenthem:1986a,
  author = {Johan {van Benthem}},
  title = {Semantic Automata},
  booktitle = {Studies in Discourse Representation Theory and the Theory of
                   Generalized Quantifiers},
  publisher = {Foris Publications},
  year = {1986},
  editor = {Jeroen Groenendijk and Dick de Jongh and Martin Stokhof},
  pages = {1--25},
  address = {Dordrecht},
  topic = {generalized-quantifiers;automata-theory;finite-state-automata;
  	pragmatics;}
  }

@book{ vanbenthem:1986b,
  author = {Johan {van Benthem}},
  title = {Essays in Logical Semantics},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  address = {Dordrecht},
  contentnote = {TC:
		Part I: CONSTRAINTS ON DENOTATIONS
		1. "Determiners"
		2. "Quantifiers"
		3. "All Categories"
		4. "Conditionals"
		5. "Modality and Tense"
		6. "Natural Logic"
		Part II: DYNAMICS OF INTERPRETATION
		7. "Categorial Grammar"
		9. "Semantic Automata"
		Part III: METHODOLOGY OF SEMANTICS
		9. "Semantics as an empirical science"
               10. "The logic of Semantics"
    },
  rtnote = {In RHT collection.  Shelf.},
  topic = {nl-semantics;foundations-of-semantics;conditionals;}
 }

@techreport{ vanbenthem:1986c,
  author = {Johan van Benthem},
  title = {Categorial Grammar and Lambda Calculus},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  year = {1986},
  number = {86--03},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;lambda-calculus;}
  }

@techreport{ vanbenthem:1986d,
  author = {Johan van Benthem},
  title = {Towards a Computational Semantics},
  institution = {Department of Mathematics, University of Amsterdam},
  number = {86--10},
  year = {1986},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {generalized-quantifiers;}
  }

@techreport{ vanbenthem:1986e,
  author = {Johan van Benthem},
  title = {The {L}ambek Calculus},
  institution = {Department of Mathematics, University of Amsterdam},
  number = {86--06},
  year = {1986},
  address = {Amsterdam},
  rtnote = {In RHT collection.},
  topic = {Lambek-calculus;}
  }

@article{ vanbenthem:1987a,
  author = {Johan {van Benthem}},
  title = {Logical Syntax},
  journal = {Theoretical Linguistics},
  year = {1987},
  volume = {14},
  number = {2/3},
  pages = {119--142},
  contentnote = {Complexity results for syntax of some logical
  	languages, complexity results on semantic interpretation.},
  topic = {algorithmic-complexity;logical syntax;}
  }

@techreport{ vanbenthem:1987b,
  author = {Johan van Benthem},
  title = {Categorial Grammar and Type Theory},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  year = {1987},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {categorial-grammar;lambda-calculus;higher-order-logic;}
  }

@techreport{ vanbenthem:1987c,
  author = {Johan van Benthem},
  title = {Polyadic Quantifiers},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  year = {1987},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {generalized-quantifiers;}
  }

@techreport{ vanbenthem:1988a,
  author = {Johan van Benthem},
  title = {Logical Constants across Varying Types},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP--88--05},
  year = {1988},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {higher-order-logic;logical-constants;}
  }

@incollection{ vanbenthem:1989a2,
  author = {Johan {van Benthem}},
  title = {Modal Logic as a Theory of Information},
  booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur
  	{P}rior},
  publisher = {Oxford University Press},
  year = {1996},
  editor = {Jack Copeland},
  address = {Oxford},
  pages = {135--168},
  rtnote = {Read this.},
  contentnote = {JvB seems to think that the days of
  	the old semantics for modal logic are numbered.  We
	now have a "flow of information" semantics.  Some of the
	generalizations are interesting, but is it right to state
	this as if there were two schools of thought, opposed to
	one another?},
  xref = {Publication of vanbenthem:1989a1.},
  topic = {modal-logic;}
  }

@article{ vanbenthem:1989a,
  author = {Johan {van Benthem}},
  title = {Polyadic Quantifiers},
  journal = {Linguistics and Philosophy},
  year = {1989},
  volume = {12},
  number = {4},
  pages = {437--464},
  topic = {nl-quantifiers;generalized-quantifiers;}
  }

@unpublished{ vanbenthem:1989b,
  author = {Johan {van Benthem}},
  title = {Networks and Conditional Logic},
  year = {1989},
  rtnote = {In RHT collection.},
  note = {(Handwritten MS.)},
  topic = {inheritance-theory;}
  }

@unpublished{ vanbenthem:1989c1,
  author = {Johan {van Benthem}},
  title = {Modal Logic as a Theory of Information},
  year = {1989},
  note = {Unpublished manuscript, University of Amsterdam},
  rtnote = {In RHT collection.},
  xref = {Published in 1996 as vanbenthem:1989a2.},
  topic = {modal-logic;intuitionistic-logic;}
  }

@incollection{ vanbenthem:1989d,
  author = {Johan {van Benthem}},
  title = {Logical Semantics},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {109--126},
  address = {Hillsdale, New Jersey},
  topic = {nl-semantics;}
  }

@incollection{ vanbenthem:1989e,
  author = {Johan {van Benthem}},
  title = {Reasoning and Cognition: Towards a Wider Perspective in
  	Logic},
  booktitle = {Logic and Linguistics},
  publisher = {Lawrence Earlbaum Associates},
  year = {1989},
  editor = {Helmut Schnelle and Niels Ole Bernsen},
  pages = {185--208},
  address = {Hillsdale, New Jersey},
  topic = {foundations-of-cognition;philosophical-logic;}
  }

@techreport{ vanbenthem:1989f,
  author = {Johan van Benthem},
  title = {Language in Action},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  number = {LP-89-05},
  year = {1989},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018TV Amsterdam, Holland },
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;}
  }

@article{ vanbenthem:1989g,
  author = {Johan {van Benthem}},
  title = {Notes on Modal Definability},
  journal = {Journal of Philosophical Logic},
  year = {1989},
  volume = {30},
  number = {1},
  pages = {20--35},
  rtnote = {In RHT collection.},
  topic = {paradoxes;foundations-of-set-theory;semantic-paradoxes;}
  }

@unpublished{ vanbenthem:1989h,
  author = {Johan {van Benthem}},
  title = {Changing Perspectives in Temporal Logic},
  year = {1989},
  note = {Unpublished manuscript, University of Amsterdam},
  rtnote = {In RHT collection.  This a handout for a talk.},
  topic = {tense-logic;}
  }

@unpublished{ vanbenthem:1989i,
  author = {Johan {van Benthem}},
  title = {Networks and Conditional Logic},
  year = {1989},
  rtnote = {In RHT collection.},
  note = {(Handwritten MS.)},
  topic = {inheritance-theory;}
  }

@article{ vanbenthem:1990a,
  author = {Johan {van Benthem}},
  title = {Categorial Grammar and Type Theory},
  journal = {Journal of Philosophical Logic},
  year = {1990},
  volume = {19},
  number = {2},
  pages = {115--168},
  topic = {categorial-grammar;higher-order-logic;}
  }

@techreport{ vanbenthem:1990b,
  author = {Johan van Benthem},
  title = {General Dynamics},
  institution = {Institute for Language, Logic and Information, University
  	of Amsterdam},
  year = {1990},
  address = {Faculty of Mathematics and Computer Science, Roeterssraat 15,
  	1018WB Amsterdam, Holland},
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;dynamic-semantics;}
  }

@book{ vanbenthem:1991a,
  editor = {Johan {van Benthem}},
  title = {Logic in Action: Categories, Lambdas, and Dynamic Logic},
  publisher = {North-Holland},
  year = {1991},
  address = {Amsterdam},
  xref = {Review: israel_dj:1993a.},
  topic = {dynamic-logic;}
 }

@article{ vanbenthem:1991b,
  author = {Johan {van Benthem}},
  title = {Language in Action},
  journal = {Journal of Philosophical Logic},
  year = {1991},
  volume = {20},
  number = {3},
  pages = {225--263},
  topic = {dynamic-logic;}
  }

@incollection{ vanbenthem:1992b,
  author = {Johan {van Benthem}},
  title = {Epistemic Logic: From Knowledge to Cognition},
  booktitle = {Theoretical Aspects of Reasoning about Knowledge:
  	Proceedings of the Fourth Conference ({TARK} 1992)},
  publisher = {Morgan Kaufmann},
  year = {1992},
  editor = {Yoram Moses},
  pages = {167--168},
  address = {San Francisco},
  topic = {epistemic-logic;}
  }

@inproceedings{ vanbenthem:1993a,
  author = {Johan {van Benthem}},
  title = {The Logic of Cognitive Action},
  booktitle = {Proceedings of the Thirteenth International Joint
  	Conference on Artificial Intelligence},
  year = {1993},
  editor = {Ruzena Bajcsy},
  pages = {810},
  publisher = {Morgan Kaufmann},
  address = {San Mateo, California},
  rtnote = {In RHT collection.},
  topic = {epistemic-logic;dynamic-logic;}
  }

@article{ vanbenthem:1993b,
  author = {Johan {van Benthem}},
  title = {Modelling the Kinematics of Meaning},
  journal = {Proceedings of the {A}ristotelian Society},
  year = {1993},
  volume = {93},
  note = {Supplementary Series.},
  pages = {105--122},
  topic = {dynamic-logic;foundations-of-cognition;}
 }

@incollection{ vanbenthem:1993c,
  author = {Johan {van Benthem}},
  title = {Beyond Accessibility: Functional Models for Modal Logic},
  booktitle = {Diamonds and Defaults},
  publisher = {Kluwer Academic Publishers},
  editor = {Maarten de Rijke},
  year = {1993},
  pages = {1--18},
  address = {Dordrecht},
  topic = {modal-logic;dynamic-logic;}
  }

@incollection{ vanbenthem:1994a,
  author = {Johan {van Benthem}},
  title = {Temporal Logic},
  booktitle = {Handbook of Logic in Artificial Intelligence
    	         and Logic Programming, Volume 4: Epistemic
				 and Temporal Reasoning},
  publisher = {Oxford University Press},
  year = {1995},
  editor = {Dov Gabbay and C. Hogger and  J.A. Robinson},
  address = {Oxford},
  missinginfo = {Editor's first names, chapter},
  topic = {temporal-logic;}
  }

@book{ vanbenthem:1996b,
  author = {Johan van Benthem},
  title = {Exploring Logical Dynamics},
  publisher = {{CSLI} Publications},
  year = {1996},
  address = {Stanford, California},
  ISBN = {1-57586-058-9 (pbk)},
  xref = {Review: moss_ls:2000a.},
  rtnote = {In RHT Collection.  Logic shelves.},
  topic = {dynamic-logic;dynamic-semantics;epistemic-logic;presupposition;}
 }

@incollection{ vanbenthem:1996c,
  author = {Johan {van Benthem}},
  title = {Content Versus Wrapping: An Essay in Semantic Complexity},
  booktitle = {Arrow Logic and Multimodal Logic},
  publisher = {{CLSI} Publications},
  year = {1996},
  editor = {Maarten Marx and L\'azl\'o P\'olos and Michael Masuch},
  pages = {203--219},
  address = {Stanford, California},
  topic = {arrow-logic;}
  }

@article{ vanbenthem:1997a,
  author = {Johan {van Benthem}},
  title = {Logic, Language \& Information: The Makings of a
  	New Science?},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {1},
  pages = {1--3},
  topic = {cognitive-science;}
  }

@incollection{ vanbenthem:1998a,
  author = {Johan {van Benthem}},
  title = {Changing Contexts and Shifting Assertions},
  booktitle = {Computing Natural Language},
  publisher = {{CSLI} Publications},
  year = {1998},
  editor = {Atocha Aliseda and Rob {van Glabbeek} and Dag Westerst{\aa}hl},
  pages = {51--65},
  address = {Stanford, California},
  topic = {context;modal-logic;}
  }

@incollection{ vanbenthem:2001b,
  author = {Johan van Benthem},
  title = {Language, Logic, and Computation},
  booktitle = {Logic in Action},
  publisher = {Institute for Logic, Language, and Computation,
  	University of Amsterdam},
  year = {2001},
  editor = {Johan van Benthen and Paul Dekker and Jan van Eijk and
  	Maarten de Rijke and Yde Venema},
  pages = {7--25},
  address = {Amsterdam},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  topic = {epistemic-logic;mutual-belief;}
  }

@article{ vanbenthem:2002a,
  author = {Johan van Benthem},
  title = {Extensive Games as Process Models},
  journal = {Journal of Logic, Language, and Information},
  year = {2002},
  volume = {11},
  number = {3},
  pages = {289--313},
  topic = {game-theory;dynamic-logic;}
  }

@article{ vanbenthem:2003a,
  author = {Johan van Benthem},
  title = {Conditional Probability Meets Update Logic},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {409--421},
  topic = {dynamic-logic;epistemic-logic;belief-revision;}
  }

@article{ vanbenthem:2003b,
  author = {Johan van Benthem},
  title = {Logic and the Dynamics of Information},
  journal = {Minds and Machines},
  year = {2003},
  volume = {13},
  pages = {503--519},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {dynamic-logic;belief-revision;game-theory;}
  }

@incollection{ vanbenthem:2003c,
  author = {Johan van Benthem},
  title = {Logic and Game Theory: Close Encounters of the Third Kind},
  booktitle = {Games, Logic, and Constructive Sets},
  publisher = {{CSLI} Publications},
  year = {2003},
  editor = {Gregori Mints and Reinhard Muskens},
  pages = {3--22},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {game-theory;dynamic-logic;}
  }

@incollection{ vanbenthem:2003d,
  author = {Johan van Benthem},
  title = {Fifty Years: Changes and Constants in Logic},
  booktitle = {Trends in Logic: Fifty Years of {S}tudia {L}ogica},
  publisher = {{CSLI} Publications},
  year = {2003},
  editor = {V.F. Hendriks and J. Malinowski},
  pages = {35--56},
  address = {Stanford, California},
  rtnote = {In RHT collection.},
  topic = {game-theory;dynamic-logic;logic-editorial;}
  }

@article{ vanbenthem:2004a,
  author = {Johan van Benthem},
  title = {What One May Come to Know},
  journal = {Analysis},
  year = {2004},
  volume = {64},
  number = {2},
  pages = {95--105},
  missinginfo = {number},
  rtnote = {In RHT collection.},
  topic = {Fitch-paradox;epistemic-logic;Moore's-paradox;dynamic-logic;}
  }

@article{ vanbenthem:2005a,
  author = {Johan van Benthem},
  title = {Guards, Bounds, and Generalized Semantics},
  journal = {Journal of Logic, Language, and Information},
  year = {2005},
  volume = {14},
  number = {3},
  pages = {263--279},
  topic = {guarded-fragments;decidability;subtheories-of-FOL;}
  }

@article{ vanbenthem:2006a,
  author = {Johan van Benthem},
  title = {Modal Frame Correspondences and Fixed-Points},
  journal = {Studia Logica},
  year = {2006},
  volume = {83},
  number = {1--3},
  pages = {133--155},
  topic = {modal-logic;model-theory;}
  }

@article{ vanbenthem:2008a,
  author = {Johan van Benthem},
  title = {Logic and Reasoning:  Do the Facts Matter?},
  journal = {Studia Logica},
  year = {2008},
  volume = {88},
  number = {1},
  pages = {67--84},
  topic = {psychologism;dynamic-logic;philosophy-of-logic;}
  }

@article{ vanbenthem-bergstra:1995a,
  author = {Johan {van Benthem} and Jan Bergstra},
  title = {Logic of Transition Systems},
  journal = {Journal of Logic, Language, and Information},
  year = {1995},
  volume = {3},
  number = {4},
  pages = {247--283},
  contentnote = {A transition system is a record of a computation.
  	The paper devises a first-order language for such systems and
	discusses the usual logical issues.  There may be
	applications in AI.},
  topic = {theory-of-computation;}
  }

@incollection{ vanbenthem-doets:1983a,
  author = {Johan {van Benthem} and Kees Doets},
  title = {Higher-Order Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {I}:
  	Elements of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1983},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {275--329},
  address = {Dordrecht},
  topic = {higher-order-logic;}
 }

@book{ vanbenthem-etal:1990a,
  editor = {Johan {van Benthem} and Renate Bartsch and P. {van emde
 	Boas}},
  title = {Semantics and Contextual Expression},
  publisher = {Mouton},
  year = {1990},
  address = {The Hague},
  rtnote = {Not in Pitt Library.},
  topic = {nl-semantics;}
 }

@book{ vanbenthem-etal:2001a,
  author = {Johan van Benthen and Paul Dekker and Jan van Eijk and
  	Maarten de Rijke and Yde Venema},
  title = {Logic in Action},
  publisher = {Institute for Logic, Language, and Computation,
  	University of Amsterdam},
  year = {2001},
  address = {Amsterdam},
  ISBN = {9057760770},
  rtnote = {In RHT Collection.  LLP edited shelves.},
  contentnote = {TC:
     1. Johan van Benthem, "Language, Logic, and Computation", pp. 7--25
     2. Paul Dekker, "Updates and Games", pp. 27--50
     3. Jan van Eijk, "Border Crossings", pp. 51--74
     4. Maarten de Rijke, "Computing with Meaning", pp. 75--113
     5. Yde Venema, "Dynamic Models in Their Logical
     		Surroundings", pp. 115--153
  },
  topic = {belief-revision;computational-semantics;context;dynamic-logic;
  	epistemic-logic;game-theory;information-retrieval;mutual-belief;
	nl-syntax;programming-languages;}
 }

@article{ vanbenthem-etal:2003a,
  author = {Johan van Benthem and Guram Bezhanishvili and Mai Gehrke},
  title = {Euclidean Hierarchy in Modal Logic},
  journal = {Studia Logica},
  year = {2003},
  volume = {75},
  number = {3},
  pages = {327--344},
  topic = {modal-logic;finite-model-property;}
  }

@article{ vanbenthem-etal:2009a,
  author = {Johan van Benthem and Patrick Girard and Olivier Roy},
  title = {Everything Else Being Equal:  A Modal Logic for
  		\emph{Ceteris Paribus} Preferences},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {1},
  pages = {83--125},
  topic = {ceteris-paribus-generalizations;modal-logic;preferences;}
  }

@article{ vanbenthem-etal:2009b,
  author = {Johan van Benthem and Jelle Gerbrandy and Tomohiro Hoshi
  		and Eric Pacuit},
  title = {Merging Frameworks for Interaction},
  journal = {Journal of Philosophical Logic},
  year = {2009},
  volume = {38},
  number = {5},
  pages = {491--526},
  topic = {epistemic-logic;dynamic-logic;}
  }

@article{ vanbenthem-israel_dj:1999a,
  author = {Johan {van Benthem} and David Israel},
  title = {Review of \emph{{I}nformation Flow: The Logic of
  	Distributed Systems}, by {J}on {B}arwise and {J}erry {S}eligman},
  journal = {Journal of Logic, Language, and Information},
  year = {1999},
  volume = {8},
  number = {3},
  pages = {390--397},
  topic = {information-flow-theory;distributed-systems;
  	reasoning-with-diagrams;}
  }

@article{ vanbenthem-shoham_y1:1997a,
  author = {Johan {van Benthem} and Yoav Shoham},
  title = {Editorial: Cognitive Actions in Focus},
  journal = {Journal of Logic, Language, and Information},
  year = {1997},
  volume = {6},
  number = {2},
  pages = {119--121},
  contentnote = {This is an intro to a JLLI issue selecting TARK 1996
  	papers.  They list one theme I don't really see documented in
	the issue, on the structure of cognitive actions.  --RT},
  topic = {agent-modeling;}
  }

@book{ vanbenthem-termeulen:1985a,
  author = {Johan {van Benthem} and Alice {ter Meulen}},
  title = {Generalized Quantifiers in Natural Language},
  publisher = {Foris},
  year = {1985},
  missinginfo = {address},
  topic = {nl-quantifiers;generalized-quantifiers;}
 }

@book{ vanbenthem-termeulen:1996a,
  author = {Johan {van Benthem} and Alice {ter Meulen}},
  title = {Handbook of Logic and Language},
  publisher = {Elsevier Science Publishers},
  year = {1996},
  address = {Amsterdam},
  contentnote = {TC:
     1. Barbara H. Partee and Herman L.W. Hendriks, "Montague
     		Grammar", pp. 5--91
     2. Michael Moortgat, "Categorial Type Logics", pp. 93--177
     3. Jan van Eijck and Hans Kamp, "Representing Discourse in
     		Context", pp. 179--237
     4. Jerry Seligman and Lawrence S. Moss, "Situation Theory", pp. 239--307
     5. James Higginbotham, "{GB} Theory: An Introduction", pp. 311--360
     6. Jaakko Hintikka and Gabriel Sandu, "Game-Theoretical
     		Semantics", pp. 361--410
     7. Theo M.V. Janssen, "Compositionality", pp. 417--473
     8. William C. Rounds,  "Feature Logics", pp. 475--533
     9. Raymond Turner, "Types", pp. 535--586
    10. Reinhard Muskens, "Dynamics", pp. 587--648
    11. Jens Erik Fenstad, "Partiality", pp. 649--682
    12. Wojciech Buszkowski, "Mathematical Linguistics and Proof
    		Theory", pp. 683--736
    13. Daniel Osherson Dick de Jongh and Eric Martin and Scott
    		Weinstein, "Formal Learning Theory", pp. 737--775
    14. Richmond H. Thomason, "Nonmonotonicity in Linguistics", pp. 777--831
    15. Edward L. Keenan, "Generalized Quantifiers in Linguistics
    		and Logic", pp. 837--893
    16. Mark Steedman, "Temporality", pp. 895--938
    17. David Beaver, "Presupposition", pp. 939-1008
    18. John Tore Lonning, "Plurals and Collectivity", pp. 1009--1053
    19. Jeroen Groenendijk and Martin Stockhof, "Questions", pp. 1055--1124
    20. Francis Jeffry Pelletier, "Generics and Defaults", pp. 1125--1177
  },
 topic = {logic-and-linguistics;}
  }

@article{ vanbenthem-vanrooy:2003a,
  author = {Johan van Benthem and Robert van Rooy},
  title = {Connecting the Different Faces of Information},
  journal = {Journal of Logic, Language, and Information},
  year = {2003},
  volume = {12},
  number = {4},
  pages = {275--379},
  topic = {information;algorithmic-information-theory;information-theory;}
  }

@incollection{ vancleve:1984a,
  author = {James {van Cleve}},
  title = {Reliability, Justification, and the Problem of Induction},
  booktitle = {Causation and Causal Theories},
  publisher = {University of Minnesota Press},
  year = {1984},
  editor = {Peter A. French and Theodore E. Uehling, Jr. and Howard
  	K. Wettstein},
  pages = {555--567},
  address = {Minneapolis},
  topic = {induction;}
  }

@incollection{ vandalen:1983a,
  author = {Dirk {van Dalen}},
  title = {Algorithms and Decision Problems:
		A Crash Course in Decision Theory},
  booktitle = {Handbook of Philosophical Logic, Volume {I}:
  	Elements of Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1983},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {409--478},
  address = {Dordrecht},
  topic = {decidability;}
 }

@incollection{ vandalen:1986a,
  author = {Dirk {van Dalen}},
  title = {Intuitionistic Logic},
  booktitle = {Handbook of Philosophical Logic, Volume {III}:
  	Alternatives in Classical Logic},
  publisher = {D. Reidel Publishing Co.},
  year = {1986},
  editor = {Dov Gabbay and Franz Guenther},
  pages = {225--339},
  address = {Dordrecht},
  topic = {intuitionistic-logic;}
 }

@article{ vandalen:1997a,
  author = {Dirk {van Dalen}},
  title = {How Connected is the Intuitionistic Continuum?},
  journal = {Journal of Symbolic Logic},
  year = {1997},
  volume = {62},
  pages = {1147--1150},
  number = {4},
  topic = {intuitionistic-mathematics;}
  }

@article{ vandalen:2000a,
  author = {Dirk {van Dalen}},
  title = {Brouwer and {F}raenkel on Intuitionism},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {3},
  pages = {284--310},
  topic = {history-of-logic;foundations-of-mathematics;
  	intuitionistic-mathematics;}
  }

@article{ vandalen-ebbinghaus:2000a,
  author = {Dirk van Dalen and Heinz-Dieter Ebbinghaus},
  title = {Zermelo and the {S}kolem Paradox},
  journal = {The Bulletin of Symbolic Logic},
  year = {2000},
  volume = {6},
  number = {2},
  pages = {145--161},
  topic = {history-of-logic;set-theory;}
  }

@article{ vandeemter:1992a,
  author = {Kees van Deemter},
  title = {Towards a Generalization of Anaphora},
  journal = {Journal of Semantics},
  year = {1992},
  volume = {9},
  number = {1},
  pages = {27--51},
  topic = {nl-semantics;anaphora;discourse-representation-theory;}
  }

@article{ vandeemter:1994a,
  author = {Kees van Deemter},
  title = {What's New?  A Semantic Perspective on Sentence Accent},
  journal = {Journal of Semantics},
  year = {1994},
  volume = {11},
  number = {1},
  pages = {1--31},
  topic = {intonation;given-new;pragmatics;nl-semantics;}
  }

@inproceedings{ vandeemter:1995a,
  author = {Kees {van Deemter}},
  title = {Semantic Vagueness and Context-Dependence},
  booktitle = {Formalizing Context},
  year = {1995},
  editor = {Sa\v{s}a Buva\v{c}},
  pages = {110--117},
  organization = {American Association for Artificial Intelligence},
  publisher = {AAAI Press},
  address = {Menlo Park, California},
  topic = {vagueness;context;comparative-constructions;}
  }

@incollection{ vandeemter:1996a,
  author = {Kees {van Deemter}},

license: MIT

license_type: permissive

branch_name: refs/heads/master

gha_license_id: MIT

extension: bib