Richmond H. Thomason (thomason-rh)

My contributions to Philosophie.ch

Bibliography

Akman, Varol, Bouquet, Paolo, Thomason, Richmond H. and Young, Roger A., eds. 2001. CONTEXT’01. Modeling and Using Context: Proceedings of the Third International and Interdisciplinary Conference. Lecture Notes in Computer Science n. 2116. Berlin: Springer.
Antonelli, Gian Aldo and Thomason, Richmond H. 2002. “Representability in Second-Order Propositional Poly-Modal Logic.” The Journal of Symbolic Logic 67(3): 1039–1054.
Arló-Costa, Horacio L. and Thomason, Richmond H. 2001. “Iterative Probability Kinematics.” The Journal of Philosophical Logic 30(5): 479–524.
Carpenter, Bob and Thomason, Richmond H. 1990. “Inheritance Theory and Path-Based Reasoning: an Introduction.” in The Frame Problem and Relevant Predication, edited by Henry E. Kyburg Jr., Ronald P. Loui, and Gregory N. Carlson, pp. 309–343. Dordrecht: Kluwer Academic Publishers.
Cross, Charles B. and Thomason, Richmond H. 1991. “Update and Conditionals.” in Methodologies for Intelligent Systems: Proceedings of the Sixth International Symposium, edited by Zbigniew Raś and Maria Zemankova, pp. 392–399. Amsterdam: North-Holland Publishing Co.
Cross, Charles B. and Thomason, Richmond H. 1992. “Conditionals and Knowledge-Base Update.” in Belief Revision, edited by Peter Gärdenfors, pp. 246–275. Cambridge: Cambridge University Press.
Doyle, Jon and Thomason, Richmond H., eds. 1997. AAAI-97. Working Papers of the AAAI Spring Symposium on Qualitative Preferences in Deliberation and Practical Reasoning. Menlo Park, California: The AAAI Press.
Eugenio, Barbara di, Jordan, Pamela W., Moore, Johanna D. and Thomason, Richmond H. 1998. “An Empirical Investigation of Collaborative Dialogues.” in ACL-98. Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and Seventeenth International Conference on Computational Linguistics, edited by Christian Boitet and Pete J. Whitelock, pp. 325–329. San Francisco, California: Morgan Kaufmann Publishers.
Eugenio, Barbara di, Jordan, Pamela W., Thomason, Richmond H. and Moore, Johanna D. 1997. “Reconstructed Intentions in Collaborative Problem Solving Dialogues.” in AAAI-97. Working Notes: AAAI Fall Symposium on Communicative Action in Humans and Machines, edited by David R. Traum, pp. 36–42. Menlo Park, California: The AAAI Press.
Horty, John F. and Thomason, Richmond H. 1987a. “Mixing Strict and Defeasible Inheritance.” in AAAI-87. Proceedings of the Sixth National Conference on Artificial Intelligence, edited by Kenneth D. Forbus and Howard E. Shrobe, pp. 427–432. Menlo Park, California: The AAAI Press.
Horty, John F. and Thomason, Richmond H. 1987b. “Logics for Nonmonotonic Inheritance.” in Second International Workshop on Non-Monotonic Reasoning, edited by Michael Reinfrank, Johan de Kleer, and Erik Sandewall, pp. 220–237. Berlin: Springer.
Horty, John F. and Thomason, Richmond H. 1990. “Boolean Extensions of Inheritance Networks.” in AAAI-90. Proceedings of the Eighth National Conference on Artificial Intelligence, edited by Thomas G. Dietterich and William R. Swartout, pp. 633–639. Menlo Park, California: The AAAI Press.
Horty, John F. and Thomason, Richmond H. 1991. “Conditionals and Artificial Intelligence.” Fundamenta Informaticae 15(3–4): 301–324.
Horty, John F., Thomason, Richmond H. and Touretzky, David S. 1987. “A Skeptical Theory of Inheritance in Nonmonotonic Semantic Nets.” in AAAI-87. Proceedings of the Sixth National Conference on Artificial Intelligence, edited by Kenneth D. Forbus and Howard E. Shrobe, pp. 358–363. Menlo Park, California: The AAAI Press. Published as Horty, Thomason and Touretzky (1990).
Horty, John F., Thomason, Richmond H. and Touretzky, David S. 1990. “A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.” Artificial Intelligence 42(3): 311–349.
Jordan, Pamela W. and Thomason, Richmond H. 1995. “Empirical Methods in Discourse: Limits and Prospects.” in AAAI 1995 Workshop on Emipirical Methods in Discourse. Menlo Park, California: The AAAI Press.
Jordan, Pamela W. and Thomason, Richmond H. 1996. “Refining the Categories of Miscommunication.” in AAAI-96. Proceedings of the AAAI Workshop on Detecting, Repairing, and Preventing Human-Machine Miscommunication. Menlo Park, California: The AAAI Press.
Morgenstern, Leora and Thomason, Richmond H. 2000. “Teaching Knowledge Representation: Challenges and Proposals.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 725–733. San Francisco, California: Morgan Kaufmann Publishers.
Pelletier, Francis Jeffry and Thomason, Richmond H. 2002. “Twenty-Five Years of Linguistics and Philosophy.” Linguistics and Philosophy 25(5–6): 507–529.
Penn, Gerald and Thomason, Richmond H. 1994. “Default Finite State Machines and Finite State Phonology.” in Computational Phonology: First Meeting of the ACL Special Interest Group in Computational Phonology, edited by Steven Bird, pp. 33–42. Bernardsville, New Jersey: Association for Computational Linguistics.
Rigoni, Adam and Thomason, Richmond H. 2014. “The Logic of Counterpart Theory with Actuality.” The Journal of Philosophical Logic 43(1): 1–31.
Stone, Matthew and Thomason, Richmond H. 2002. “Context in Abductive Interpretation.” in EDILOG 2002: Proceedings of the Sixth Workshop on the Semantics and Pragmatics of Dialogue, edited by Johan Bos, Mary Ellen Foster, and Colin Matheson, pp. 169–176. Edinburgh: Cognitive Science Centre, University of Edinburgh.
Stone, Matthew and Thomason, Richmond H. 2003. “Coordinating Understanding and Generation in an Abductive Approach to Interpretation.” in Diabruck 2003: Proceedings of the 7th Workshop on the Semantics and Pragmatics of Dialogue, edited by Ivanna Kruijff-Korbayová and Claudia Kosny, pp. 131–138. Saarbrücken: Universität des Saarlandes.
Szabó, Zoltán Gendler and Thomason, Richmond H. 2019. Philosophy of Language. Cambridge Textbooks in Linguistics. Cambridge: Cambridge University Press, doi:10.1017/9781316156353.
Thomason, Richmond H. 1968. “On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus.” The Journal of Symbolic Logic 33: 1–7.
Thomason, Richmond H. 1969a. “Species, Determinates and Natural Kinds.” Noûs 3(1): 95–101.
Thomason, Richmond H. 1969b. “A Semantical Study of Constructible Falsity.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 15: 247–257.
Thomason, Richmond H. 1969c. “Modal Logic and Metaphysics.” in The Logical Way of Doing Things, edited by Karel Lambert, pp. 119–145. New Haven, Connecticut: Yale University Press.
Thomason, Richmond H. 1970a. Symbolic Logic: an Introduction. London: MacMillan Publishing Co.
Thomason, Richmond H. 1970b. “Indeterminist Time and Truth-Value Gaps.” Theoria 36(3): 246–281, doi:10.1111/j.1755-2567.1970.tb00427.x.
Thomason, Richmond H. 1970c. “Some Completeness Results for Modal Predicate Calculi.” in Philosophical Problems in Logic: Some Recent Developments, edited by Karel Lambert, pp. 56–76. Synthese Library n. 29. Dordrecht: D. Reidel Publishing Co.
Thomason, Richmond H. 1970d. “A Fitch-Style Formulation of Conditional Logic.” Logique et Analyse 13(52): 397–412.
Thomason, Richmond H. 1971. “Logic and Adverbs.” The Journal of Philosophy 68: 771–781.
Thomason, Richmond H. 1972. “A Semantic Theory of Sortal Incorrectness.” The Journal of Philosophical Logic 1(2): 209–258.
Thomason, Richmond H. 1973a. “Perception and Individuation.” in Logic and Ontology, edited by Milton K. Munitz, pp. 261–285. New York: New York University Press.
Thomason, Richmond H. 1973b. “Philosophy and Formal Semantics.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 294–307. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co.
Thomason, Richmond H. 1974. “Introduction.” in Formal Philosophy. Selected Papers, pp. 1–69. New Haven, Connecticut: Yale University Press. Edited and with an introduction by Richmond H. Thomason.
Thomason, Richmond H. 1975. “Decidability in the Logic of Conditionals.” in The Logical Enterprise: Essays for Frederic B. Fitch, edited by Alan Ross Anderson, Ruth Barcan Marcus, and Richard Milton Martin, pp. 167–178. New Haven, Connecticut: Yale University Press.
Thomason, Richmond H. 1976a. “Necessity, Quotation, and Truth: An Indexical Theory.” in Language in Focus: Foundations, Methods and Systems. Essays dedicated to Yehoshua Bar-Hillel, edited by Asa Kasher, pp. 119–138. Boston Studies in the Philosophy of Science n. 43. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-1876-0.
Thomason, Richmond H. 1976b. “Some Extensions of Montague Grammar.” in Montague Grammar, edited by Barbara Hall Partee, pp. 77–117. New York: Academic Press.
Thomason, Richmond H. 1976c. “Intensions Revisited.” in Language in Focus: Foundations, Methods and Systems. Essays dedicated to Yehoshua Bar-Hillel, edited by Asa Kasher, pp. 119–138. Boston Studies in the Philosophy of Science n. 43. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-1876-0.
Thomason, Richmond H. 1977. “Indirect Discourse Is not Quotational.” The Monist 60: 340–354.
Thomason, Richmond H. 1978. “Review of Bennett (1976).” Synthese 39: 141–154.
Thomason, Richmond H. 1979. “Home Is Where the Heart Is.” in Midwest Studies in Philosophy 2: Contemporary Perspectives in the Philosophy of Language, edited by Peter A. French, Theodore E. Uehling Jr., and Howard K. Wettstein, 2nd ed., pp. 209–219. Minneapolis, Minnesota: University of Minnesota Press. First edition: French, Uehling and Wettstein (1977).
Thomason, Richmond H. 1980a. “A Note on Syntactic Treatments of Modality.” Synthese 44: 391–395.
Thomason, Richmond H. 1980b. “A Model Theory for Propositional Attitudes.” Linguistics and Philosophy 4(1): 47–70.
Thomason, Richmond H. 1981a. “Deontic Logic and the Role of Freedom in Moral Deliberation.” in New Studies in Deontic Logic, edited by Risto Hilpinen, pp. 153–162. Synthese Library n. 152. Dordrecht: D. Reidel Publishing Co.
Thomason, Richmond H. 1981b. “Deontic Logic as Founded on Tense Logic.” in New Studies in Deontic Logic, edited by Risto Hilpinen, pp. 165–176. Synthese Library n. 152. Dordrecht: D. Reidel Publishing Co.
Thomason, Richmond H. 1982. “Identity and Vagueness.” Philosophical Studies 42: 329–332.
Thomason, Richmond H. 1984. “Combinations of Tense and Modality.” in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 135–165. Synthese Library n. 165. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as Thomason (2002).
Thomason, Richmond H. 1985. “Some Issues Concerning the Interpretation of Derived and Gerundive Nominals.” Linguistics and Philosophy 8(1): 73–80.
Thomason, Richmond H. 1986. “Paradoxes and Semantic Representation.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 225–239. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Thomason, Richmond H. 1987. “The Context-Sensitivity of Belief and Desire.” in Reasoning about Actions and Plans, Proceedings of the 1986 Workshop at Timberline, Oregon, edited by Michael P. Georgeff and Amy L. Lansky, pp. 341–360. San Francisco, California: Morgan Kaufmann Publishers.
Thomason, Richmond H. 1988a. “Theories of Nonmonotonicity and Natural Language Generics.” in Genericity in Natural Language: Proceedings of the 1988 Tübingen Conference, edited by Manfred Krifka, pp. 395–406. Biesingerstrasse 10, 7400 Tübingen, Germany: Seminar für natürlich-sprachliche Systems.
Thomason, Richmond H. 1988b. “Philosophical Logic and Artificial Intelligence.” The Journal of Philosophical Logic 17(4): 321–327. Reprinted in Thomason (1989a, 1–7).
Thomason, Richmond H. 1988c. “Motivating Ramified Type Theory.” in Properties, Types and Meaning I. Foundational Issues, edited by Gennaro Chierchia, Barbara Hall Partee, and Raymond Turner, pp. 47–62. Studies in Linguistics and Philosophy n. 38. Dordrecht: Kluwer Academic Publishers.
Thomason, Richmond H., ed. 1989a. Philosophical Logic and Artificial Intelligence. Dordrecht: Kluwer Academic Publishers.
Thomason, Richmond H. 1989b. “Completeness Proofs for Monotonic Nets with Relations and Identity.” in Methodologies for Intelligent Systems: Proceedings of the Fourth International Symposium, edited by Zbigniew Raś, pp. 523–532. Amsterdam: North-Holland Publishing Co.
Thomason, Richmond H. 1990a. “Accommodation, Meaning, and Implicature: Interdisciplinary Foundations for Pragmatics.” in Intentions in Communication, edited by Philip R. Cohen, Jerry L. Morgan, and Martha E. Pollack, pp. 326–363. Cambridge, Massachusetts: The MIT Press.
Thomason, Richmond H. 1990b. “Propagating Epistemic Coordination Through Mutual Defaults I.” in TARK 1990. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third Conference, edited by Rohit Parikh, pp. 29–39. San Francisco, California: Morgan Kaufmann Publishers.
Thomason, Richmond H. 1991a. “Logicism, Artificial Intelligence, and Common Sense: John McCarthy’s Program in Philosophical Perspective.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 449–466. New York: Academic Press.
Thomason, Richmond H. 1991b. “A Semantic Analysis of Monotonic Inheritance with Roles and Relations.” in Methodologies for Intelligent Systems: Proceedings of the Sixth International Symposium, edited by Zbigniew Raś and Maria Zemankova, pp. 630–644. Amsterdam: North-Holland Publishing Co.
Thomason, Richmond H. 1992. “NETL and Subsequent Path-Based Inheritance Theories.” in Semantic Networks in Artificial Intelligence, edited by Fritz Lehmann, pp. 179–204. Oxford: Pergamon Press.
Thomason, Richmond H. 1993. “Towards a Logical Theory of Practical Reasoning.” in AAAI-93. Working Notes of the AAAI Spring Symposium on Reasoning about Mental States, edited by John F. Horty and Yoav Shoham, pp. 133–142. Menlo Park, California: The AAAI Press.
Thomason, Richmond H. 1997a. “Type Theoretic Foundations for Context.” in, pp. 173–175.
Thomason, Richmond H. 1997b. “Type Theoretic Foundations for Context (Extended Abstract).” in, pp. 211–220.
Thomason, Richmond H. 1997c. “Nonmonotonicity in Linguistics.” in Handbook of Logic and Language, edited by Johan van Benthem and Alice G. B. ter Meulen, pp. 777–831. Amsterdam: Elsevier Science Publishers B.V. Second edition: van Benthem and ter Meulen (2011).
Thomason, Richmond H. 1998a. “Intra-Agent Modality and Nonmonotonic Epistemic Logic.” in TARK 1997. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference, edited by Itzhak Gilboa, pp. 57–69. San Francisco, California: Morgan Kaufmann Publishers.
Thomason, Richmond H. 1998b. “Representing and Reasoning with Context.” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 29–41. Berlin: Springer.
Thomason, Richmond H. 1998c. “Qualitative Decision Theory and Interactive Problem Solving (Extended Abstract).” in AAAI-98. Working Notes of the AAAI Spring Symposium on Interactive and Mixed-Initiative Decision Theoretic Systems, edited by Peter Haddaway and Steven Hanks, pp. 107–113. Menlo Park, California: The AAAI Press.
Thomason, Richmond H. 1998d. “Conditionals, Time, and Causal Independence.” in AAAI-98. Working Notes of the AAAI Spring Symposium on Prospects for a Commonsense Theory of Causation, edited by Charles L. Ortiz Jr., pp. 107–113. Menlo Park, California: The AAAI Press.
Thomason, Richmond H. 1999a. “Progress towards a Theory of Practical Reasoning: Problems and Prospects.” in IJCAI-99. Workshop on Practical Reasoning and Rationality, edited by John L. Bell, pp. 46–47. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Thomason, Richmond H. 1999b. “Review of Fagin et al. (1995).” Studia Logica: An International Journal for Symbolic Logic 63(1): 128–136.
Thomason, Richmond H. 1999c. “Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.” in CONTEXT’99. Modeling and Using Contexts: Proceedings of the Second International and Interdisciplinary Conference, edited by Paolo Bouquet, Luigi Serfini, Patrick Brézillon, Massimo Benerecetti, and Francesca Castellani, pp. 352–374. Lecture Notes in Computer Science. Berlin: Springer.
Thomason, Richmond H. 2000a. “Desires and Defaults: A Framework for Planning with Inferred Goals.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 702–713. San Francisco, California: Morgan Kaufmann Publishers.
Thomason, Richmond H. 2000b. “Modeling the Beliefs of Other Agents.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 375–473. Dordrecht: Kluwer Academic Publishers.
Thomason, Richmond H. 2001. “Review of Bonzon, Cavalcanti and Nossum (2000).” Computational Linguistics 27(4): 598–600.
Thomason, Richmond H. 2002. “Combinations of Tense and Modality.” in Handbook of Philosophical Logic, Volume VII, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 205–234. Dordrecht: Springer. First publication as Thomason (1984).
Thomason, Richmond H. 2003a. “Logic and Artificial Intelligence.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2003/entries/logic-ai/.
Thomason, Richmond H. 2003b. “Ability and Action.” in AAAI-03. Working Papers of the 2003 AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, edited by Patrick Doherty, John McCarthy, and Mary-Anne Williams, pp. 139–145. Menlo Park, California: The AAAI Press.
Thomason, Richmond H. 2008. “Logic and Artificial Intelligence.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2008/entries/logic-ai/.
Thomason, Richmond H. 2009. “Logic and Artificial Intelligence.” in The Development of Modern Logic, edited by Leila Haaparanta, pp. 848–902. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780195137316.001.0001.
Thomason, Richmond H. 2011a. “Nonmonotonicity in Linguistics.” in Handbook of Logic and Language, edited by Johan van Benthem and Alice G. B. ter Meulen, 2nd ed., pp. 781–838. Amsterdam: Elsevier Science Publishers B.V. First edition: Thomason (1997a).
Thomason, Richmond H. 2011b. “Some Limitations to the Psychological Orientation in Semantic Theory.” The Journal of Philosophical Logic 40(1): 1–14.
Thomason, Richmond H. 2012a. “Richard Montague’s Approach to the Semantics of Natural Languages.” in The Routledge Companion to Philosophy of Language, edited by Gillian K. Russell and Delia Graff Fara, pp. 678–690. Routledge Philosophy Companions. London: Routledge.
Thomason, Richmond H. 2012b. “Logic and Artificial Intelligence.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2012/entries/logic-ai/.
Thomason, Richmond H. 2013. “Logic and Artificial Intelligence.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2013/entries/logic-ai/.
Thomason, Richmond H. 2014. “Belief, Intention, and Practicality: Loosening Up Agents and Their Propositional Attitudes.” in Epistemology, Context, and Formalism, edited by Franck Lihoreau and Manuel Rebuschi, pp. 169–186. Synthese Library n. 369. Dordrecht: Springer.
Thomason, Richmond H. 2018a. “The Little Nell Problem: Reasonable and Resolute Maintenance of Agent Intentions.” Synthese 195(1): 433–440.
Thomason, Richmond H. 2018b. “Logic and Artificial Intelligence.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2018/entries/logic-ai/.
Thomason, Richmond H. 2024. “Logic-Based Artificial Intelligence.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/logic-ai/.
Thomason, Richmond H. and Aronis, John M. 1992. “Hybridizing Nonmonotonic Inheritance with Theorem Proving.” Annals of Mathematics and Artificial Intelligence 6: 345–366.
Thomason, Richmond H. and Gupta, Anil. 1980. “A Theory of Conditionals in the Context of Branching Time.” The Philosophical Review 89: 65–90. Reprinted in Harper, Stalnaker and Pearce (1981, 229–322).
Thomason, Richmond H. and Hobbs, Jerry R. 1997. “Interrelating Interpretation and Generation in an Abductive Framework.” in AAAI-97. Working Notes: AAAI Fall Symposium on Communicative Action in Humans and Machines, edited by David R. Traum, pp. 97–105. Menlo Park, California: The AAAI Press.
Thomason, Richmond H., Hobbs, Jerry R. and Moore, Johanna D. 1996. “Communicative Goals.” in Proceedings of the ECAI-96 workshop Gaps and Bridges: New Directions in Planning and Natural Language Generation, edited by Kristina Jokinen, Mark T. Maybury, Michael Zock, and Ingrid Zukerman, pp. 1124–1129. Hoboken, New Jersey: John Wiley; Sons, Inc.
Thomason, Richmond H. and Horty, John F. 1996. “Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision.” in TARK 1996. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Sixth Conference, edited by Yoav Shoham, pp. 229–250. San Francisco, California: Morgan Kaufmann Publishers. The statement and proof of the soundness theorem in Section 7 of this version are flawed. See www.pitt.edu/\(\sim\)thomason/dominance.html. .
Thomason, Richmond H., Horty, John F. and Touretzky, David S. 1986. “A Calculus for Inheritance in Monotonic Semantic Nets.” cmu-cs-86-138. Pittsburgh, Pennsylvania: Department of Computer Science, Carnegie Mellon University.
Thomason, Richmond H., Horty, John F. and Touretzky, David S. 1991. “A Calculus for Inheritance in Monotonic Semantic Nets.” in Methodologies for Intelligent Systems: Proceedings of the Sixth International Symposium, edited by Zbigniew Raś and Maria Zemankova, pp. 280–287. Amsterdam: North-Holland Publishing Co.
Thomason, Richmond H. and Johnson, D. Randolp. 1969. “Predicate Calculus with Free Quantifier Variables.” The Journal of Symbolic Logic 34: 1–7.
Thomason, Richmond H. and Moore, Johanna D. 1995. “Discourse Context.” in, pp. 102–109.
Thomason, Richmond H. and Stalnaker, Robert C. 1968a. “Modality and Reference.” Noûs 2: 359–372.
Thomason, Richmond H. and Stalnaker, Robert C. 1968b. “Abstraction in First-Order Modal Logic.” Theoria 34: 203–207.
Thomason, Richmond H. and Stalnaker, Robert C. 1970. “A Semantic Analysis of Conditional Logic.” Theoria 36: 23–42.
Thomason, Richmond H. and Stalnaker, Robert C. 1973. “A Semantic Theory of Adverbs.” Linguistic Inquiry 4: 195–220.
Thomason, Richmond H. and Touretzky, David S. 1991. “Inheritance Theory and Networks with Roles.” in Principles of Semantic Networks: Explorations in the Representation of Knowledge, edited by John F. Sowa, pp. 231–266. San Francisco, California: Morgan Kaufmann Publishers.
Touretzky, David S., Horty, John F. and Thomason, Richmond H. 1987. “A Clash of Intuitions: the Current State of Nonmonotonic Multiple Inheritance Systems.” in IJCAI-87. Proceedings of the 10th International Joint Conference on Artificial Intelligence, edited by John McDermott, pp. 476–482. San Francisco, California: Morgan Kaufmann Publishers.
Touretzky, David S. and Thomason, Richmond H. 1988. “Nonmonotonic Inheritance and Generic Reflexives.” in AAAI-88. Proceedings of the Seventh National Conference on Artificial Intelligence, edited by Tom M. Mitchell and Reid G. Smith, pp. 433–438. Menlo Park, California: The AAAI Press.
Touretzky, David S. and Thomason, Richmond H. 1990. “An Inference Algorithm for Networks that Mix Strict and Defeasible Inheritance and Relations.” in Methodologies for Intelligent Systems: Proceedings of the Fifth International Symposium, edited by Zbigniew Raś, Maria Zemankova, and Mary L. Emrich. Amsterdam: North-Holland Publishing Co.
Touretzky, David S., Thomason, Richmond H. and Horty, John F. 1991. “A Skeptic’s Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonmonotonic Inheritance.” in IJCAI-91. Proceedings of the 12th International Joint Conference on Artificial Intelligence, edited by John Mylopoulos and Raymond Reiter, pp. 478–483. Lecture Notes in Artificial Intelligence n. 814. San Francisco, California: Morgan Kaufmann Publishers.
Tucker, Dustin and Thomason, Richmond H. 2011. “Paradoxes of Intensionality.” The Review of Symbolic Logic 4(3): 394–410.

Further References

Bennett, Jonathan. 1976. Linguistic Behaviour. Cambridge: Cambridge University Press. Reissued in 1990 by Hackett Publishing Co., Indianapolis, Indiana.
Bonzon, Pierre E., Cavalcanti, Marcos and Nossum, Rolf T., eds. 2000. Formal Aspects of Context. Dordrecht: Kluwer Academic Publishers.
Fagin, Ronald, Halpern, Joseph Y., Moses, Yoram and Vardi, Moshe Y. 1995. Reasoning about Knowledge. Cambridge, Massachusetts: The MIT Press.
Harper, William L., Stalnaker, Robert C. and Pearce, Glenn, eds. 1981. Ifs: Conditionals, Belief, Decision, Chance, and Time. The University of Western Ontario Series in Philosophy of Science n. 15. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-009-9117-0.