On not strengthening intuitionistic logic. - Nuel D. Belnap Jr.; Hugues Leblanc; Richmond H. Thomason (Notre Dame J. Formal Log., 1963)

A rule-completeness theorem. - Nuel D. Belnap Jr.; Richmond H. Thomason (Notre Dame J. Formal Log., 1963)

All or None: A Novel Choice of Primitives for Elementary Logic. - Richmond H. Thomason; Hugues Leblanc (J. Symb. Log., 1967)

A decision procedure for Fitch's propositional calculus. - Richmond H. Thomason (Notre Dame J. Formal Log., 1967)

On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. - Richmond H. Thomason (J. Symb. Log., 1968)

Predicate Calculus with Free Quantifier Variables. - Richmond H. Thomason; D. Randolph Johnson Jr. (J. Symb. Log., 1969)

A semantic theory of sortal incorrectness. - Richmond H. Thomason (J. Philos. Log., 1972)

Meeting of the Association for Symbolic Logic. - Charles D. Parsons; Richard J. Orgass; Richmond H. Thomason (J. Symb. Log., 1972)

Default Reasoning and the Logic of Theory Perturbation. - Clark Glymour; Richmond H. Thomason (NMR, 1984)

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? - Robert Stalnaker; Hans Kamp; Kurt Konolige; Hector J. Levesque; Richmond H. Thomason (TARK, 1986)

Paradoxes and Semantic Representation. - Richmond H. Thomason (TARK, 1986)

A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. - David S. Touretzky; John F. Horty; Richmond H. Thomason (IJCAI, 1987)

Update and Conditionals. - Charles B. Cross; Richmond H. Thomason (ISMIS, 1987)

A Calculus for Inheritance in Monotonic Semantic Nets. - Richmond H. Thomason; John F. Horty; David S. Touretzky (ISMIS, 1987)

Mixing Strict and Defeasible Inheritance. - John F. Horty; Richmond H. Thomason (AAAI, 1988)

Nonmonotonic Inheritance and Generic Reflexives. - David S. Touretzky; Richmond H. Thomason (AAAI, 1988)

Logics for Inheritance Theory. - Richmond H. Thomason; John F. Horty (NMR, 1988)

Logic and Linguistics Meeting, Stanford, 1987. - K. Jon Barwise; Richmond H. Thomason (J. Symb. Log., 1988)

Boolean Extensions of Inheritance Networks. - John F. Horty; Richmond H. Thomason (AAAI, 1990)

Propagating Epistemic Coordination Through Mutual Defaults I. - Richmond H. Thomason (TARK, 1990)

A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks. - John F. Horty; Richmond H. Thomason; David S. Touretzky (Artif. Intell., 1990)

Inheritance Theory and Networks with Roles. - Richmond H. Thomason; David S. Touretzky (Principles of Semantic Networks, 1991)

Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective. - Richmond H. Thomason (Artificial and Mathematical Theory of Computation, 1991)

A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonrnonotonic Inheritance. - David S. Touretzky; Richmond H. Thomason; John F. Horty (IJCAI, 1991)

A Semantic Analysis of Monotonic Inheritance with Roles and Relations. - Richmond H. Thomason (ISMIS, 1991)

Conditionals and artificial intelligence. - John F. Horty; Richmond H. Thomason (Fundam. Informaticae, 1991)

Hybridizing Nonmonotonic Inheritance with Theorem Proving. - Richmond H. Thomason; John M. Aronis (Ann. Math. Artif. Intell., 1992)

Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision. - Richmond H. Thomason; John F. Horty (TARK, 1996)

Nonmonotonicity in Linguistics. - Richmond H. Thomason (Handbook of Logic and Language, 1997)

An Empirical Investigation of Proposals in Collaborative Dialogues. - Barbara Di Eugenio; Johanna D. Moore; Pamela W. Jordan; Richmond H. Thomason (COLING-ACL, 1998)

Representing and Reasoning with Context. - Richmond H. Thomason (AISC, 1998)

Intra-Agent Modality and Nonmonotonic Epistemic Logic. - Richmond H. Thomason (TARK, 1998)

Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects. - Richmond H. Thomason (CONTEXT, 1999)

Background to Qualitative Decision Theory. - Jon Doyle; Richmond H. Thomason (AI Mag., 1999)

Teaching Knowledge Representation: Challenges and Proposals. - Leora Morgenstern; Richmond H. Thomason (KR, 2000)

Desires and Defaults: A Framework for Planning with Inferred Goals. - Richmond H. Thomason (KR, 2000)

The agreement process: an empirical investigation of human-human computer-mediated collaborative dialogs. - Barbara Di Eugenio; Pamela W. Jordan; Richmond H. Thomason; Johanna D. Moore (Int. J. Hum. Comput. Stud., 2000)

Iterative Probability Kinematics. - Horacio L. Arló-Costa; Richmond H. Thomason (J. Philos. Log., 2001)

Representability in Second-Order Propositional Poly-Modal Logic. - Gian Aldo Antonelli; Richmond H. Thomason (J. Symb. Log., 2002)

Dynamic Contextual Intensional Logic: Logical Foundations and an Application. - Richmond H. Thomason (CONTEXT, 2003)

Making Contextual Intensional Logic Nonmonotonic. - Richmond H. Thomason (CONTEXT, 2005)

Conditionals and Action Logics. - Richmond H. Thomason (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Three Interactions Between Context and Epistemic Locutions. - Richmond H. Thomason (CONTEXT, 2007)

Some Limitations to the Psychological Orientation in Semantic Theory. - Richmond H. Thomason (J. Philos. Log., 2011)

Paradoxes of Intensionality. - Dustin Tucker; Richmond H. Thomason (Rev. Symb. Log., 2011)

The Formalization of Practical Reasoning: Problems and Prospects. - Richmond H. Thomason (FLAP, 2014)

The Logic of Counterpart Theory with Actuality. - Adam Rigoni; Richmond H. Thomason (J. Philos. Log., 2014)

Action Models for Conditionals. - Jeremy Lent; Richmond H. Thomason (J. Log. Lang. Inf., 2015)

The Little Nell Problem: reasonable and resolute maintenance of agent intentions. - Richmond H. Thomason (Synth., 2018)

Chisholm's paradox and conditional oughts. - Catharine Saint Croix; Richmond H. Thomason (J. Log. Comput., 2019)