Richmond Thomason

According to our database¹, Richmond Thomason authored at least 4 papers between 1988 and 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

Independence of the Dual Axiom in Modal K with Primitive ◊.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2018

2011

The Formalization of Practical Reasoning: An Opinionated Survey.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

1994

Default Finite State Machines and Finite State Phonology.

[BibT_eX]

[DOI]

Proceedings of the Computational Phonology, 1994

1988

Philosophical logic and artificial intelligence.

[BibT_eX]

[DOI]

J. Philos. Log., 1988