Philosophical logic and artificial intelligence. - Richmond Thomason (J. Philos. Log., 1988)

Default Finite State Machines and Finite State Phonology. - Gerald Penn; Richmond Thomason (SIGMORPHON, 1994)

The Formalization of Practical Reasoning: An Opinionated Survey. - Richmond Thomason (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Independence of the Dual Axiom in Modal K with Primitive ◊. - Richmond Thomason (Notre Dame J. Formal Log., 2018)