Richmond H. Thomason

Available identifiers

zbMath Open thomason.richmond-hWikidataQ93239733 ScholiaQ93239733MaRDI QIDQ302247

List of research outcomes

Publication	Date of Publication	Type
Common Knowledge, Common Attitudes and Social Reasoning	2023-05-04	Paper
The Formalization Of Pratical Reasoning: Problems And Prospects	2020-08-10	Paper
Chisholm's paradox and conditional oughts	2019-07-10	Paper
Independence of the dual axiom in modal \(\mathbf{K}\) with primitive	2018-09-19	Paper
Action models for conditionals	2016-07-05	Paper
Krister Segerberg’s Philosophy of Action	2015-04-10	Paper
The logic of counterpart theory with actuality	2014-09-18	Paper
Chisholm’s Paradox and Conditional Oughts	2014-09-08	Paper
PARADOXES OF INTENSIONALITY	2011-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q3016134	2011-07-13	Paper
Some limitations to the psychological orientation in semantic theory	2011-02-18	Paper
Dynamic Contextual Intensional Logic: Logical Foundations and an Application	2010-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q5324178	2009-08-03	Paper
Modeling and Using Context	2005-12-15	Paper
The agreement process: an empirical investigation of human–human computer-mediated collaborative dialogs	2003-04-03	Paper
Representability in second-order propositional poly-modal logic	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2734946	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4941945	2000-10-25	Paper
Hybridizing nonmonotonic inheritance with theorem proving	1997-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4342095	1997-07-08	Paper
Netl and subsequent path-based inheritance theories	1993-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4016566	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4012246	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3989939	1992-06-28	Paper
A skeptical theory of inheritance in nonmonotonic semantic networks	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829538	1989-01-01	Paper
A note on syntactical treatments of modality	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4180319	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4152520	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5680089	1973-01-01	Paper
A semantic theory of sortal incorrectness	1972-01-01	Paper
Indeterminist time and truth‐value gaps1	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5582317	1970-01-01	Paper
A semantic analysis of conditional logic1	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5616117	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5635429	1970-01-01	Paper
A semantical study of constructible falsity	1969-01-01	Paper
Predicate calculus with free quantifier variables	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5582311	1969-01-01	Paper
On the strong semantical completeness of the intuitionistic predicate calculus	1968-01-01	Paper
Completeness theorems for some presupposition-free logics	1968-01-01	Paper
A decision procedure for Fitch's propositional calculus	1967-01-01	Paper
All or none; A novel choice of primitives for elementary logic	1967-01-01	Paper
The Demarcation Line Between Intuitionist Logic and Classical Logic	1966-01-01	Paper
On not strengthening intuitionistic logic	1963-01-01	Paper
A rule-completeness theorem	1963-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richmond H. Thomason