Richmond H. Thomason
Richmond H. Thomason describes himself as a philosopher and logician with interests in language semantics and artificial intelligence. He holds emeritus appointments in philosophy, computing and linguistics at Michigan. His research covers inheritance and nonmonotonic reasoning, knowledge representation, commonsense reasoning and computational models of discourse. These subjects connect formal logic with language use and incomplete knowledge. His August 2020 projects included realistic theories of practical reasoning, common attitudes and social reasoning, and branching-time and epistemic logic.
- Now at
- University of Michigan
- Works
- 164
- Citations
- 5,107
- h-index
- 32
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
Research career
Logic beyond mathematics
Richmond H. Thomason describes himself as a philosopher and logician with interests in language semantics and artificial intelligence. He holds emeritus appointments in philosophy, computing and linguistics at Michigan.
-
Research program
Knowledge and discourse
His research covers inheritance and nonmonotonic reasoning, knowledge representation, commonsense reasoning and computational models of discourse. These subjects connect formal logic with language use and incomplete knowledge.
-
2020
Practical and social reasoning
His August 2020 projects included realistic theories of practical reasoning, common attitudes and social reasoning, and branching-time and epistemic logic.
Sources and credits
Photo: web.eecs.umich.edu; Richmond H. Thomason profile photograph; creator not stated. License: Not stated by source. Source: web.eecs.umich.edu. Cropped to a square and resized. Ask us to remove or replace this photo.