Year |
Citation |
Score |
2014 |
Saint Croix C, Thomason RH. Chisholm's paradox and conditional oughts Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8554: 192-207. DOI: 10.1093/Logcom/Exw003 |
0.321 |
|
2014 |
Rigoni A, Thomason RH. The Logic of Counterpart Theory with Actuality Journal of Philosophical Logic. 43: 1-31. DOI: 10.1007/S10992-012-9248-0 |
0.489 |
|
2011 |
Tucker D, Thomason RH. Paradoxes of intensionality Review of Symbolic Logic. 4: 394-411. DOI: 10.1017/S1755020311000128 |
0.541 |
|
2011 |
Thomason RH. Non-monotonicity in Linguistics Handbook of Logic and Language. 781-837. DOI: 10.1016/B978-0-444-53726-3.00017-7 |
0.415 |
|
2011 |
Thomason RH. Some Limitations to the Psychological Orientation in Semantic Theory Journal of Philosophical Logic. 40: 1-14. DOI: 10.1007/S10992-010-9151-5 |
0.398 |
|
2008 |
Stalnaker RC, Thomason RH. A semantic analysis of conditional logic1 Theoria. 36: 23-42. DOI: 10.1111/J.1755-2567.1970.Tb00408.X |
0.342 |
|
2005 |
Thomason RH. Making contextual intensional logic nonmonotonic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3554: 501-514. DOI: 10.1007/11508373_38 |
0.459 |
|
2005 |
Thomason RH. Contextual effects on vagueness and the sorites paradox: A preliminary study Ceur Workshop Proceedings. 136. |
0.445 |
|
2003 |
Thomason RH. Dynamic contextual intensional logic: Logical foundations and an application Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 2680: 328-341. DOI: 10.1007/3-540-44958-2_26 |
0.463 |
|
2002 |
Aldo Antonelli G, Thomason RH. Representability in second-order propositional poly-modal logic Journal of Symbolic Logic. 67: 1039-1054. DOI: 10.2178/Jsl/1190150147 |
0.365 |
|
2001 |
Arló-Costa H, Thomason RH. Iterative probability kinematics Journal of Philosophical Logic. 30: 479-524. DOI: 10.1023/A:1012277218013 |
0.336 |
|
2000 |
Di Eugenio B, Jordan PW, Thomason RH, Moore JD. The agreement process: An empirical investigation of human-human computer-mediated collaborative dialogs International Journal of Human Computer Studies. 53: 1017-1076. DOI: 10.1006/Ijhc.2000.0428 |
0.3 |
|
1999 |
Doyle J, Thomason RH. Background to qualitative decision theory Ai Magazine. 20: 55-68. DOI: 10.1609/Aimag.V20I2.1456 |
0.422 |
|
1999 |
Thomason RH. Type theoretic foundations for context, part 1: Contexts as complex type-theoretic objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1688: 351-360. DOI: 10.1007/3-540-48315-2_27 |
0.407 |
|
1998 |
Thomason RH. Representing and reasoning with context Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1476: 29-41. |
0.31 |
|
1992 |
Barwise J, Ladusaw W, Meulen At, Oehrle R, Thomason R. Logic and linguistics meeting Journal of Symbolic Logic. 57: 1498-1499. DOI: 10.1017/S0022481200022271 |
0.41 |
|
1992 |
Thomason RH. NETL and subsequent path-based inheritance theories Computers and Mathematics With Applications. 23: 179-204. DOI: 10.1016/0898-1221(92)90140-D |
0.485 |
|
1992 |
Thomason RH, Aronis JM. Hybridizing nonmonotonic inheritance with theorem proving Annals of Mathematics and Artificial Intelligence. 6: 345-365. DOI: 10.1007/Bf01535525 |
0.355 |
|
1990 |
Horty JF, Thomason RH, Touretzky DS. A skeptical theory of inheritance in nonmonotonic semantic networks Artificial Intelligence. 42: 311-348. DOI: 10.1016/0004-3702(90)90057-7 |
0.379 |
|
1989 |
Thomason RH. Philosophical Logic and Artificial Intelligence Journal of Philosophical Logic. 17: 321-327. DOI: 10.1007/Bf00297509 |
0.333 |
|
1988 |
Barwise KJ, Thomason RH. Logic and linguistics meeting, Stanford, 1987 Journal of Symbolic Logic. 53: 1275-1282. DOI: 10.1017/S002248120002819X |
0.408 |
|
1980 |
Thomason RH. A model theory for propositional attitudes Linguistics and Philosophy. 4: 47-70. DOI: 10.1007/Bf00351813 |
0.366 |
|
1980 |
Thomason RH, Gupta A. A Theory of Conditionals in the Context of Branching Time The Philosophical Review. 89: 299-322. DOI: 10.1007/978-94-009-9117-0_15 |
0.459 |
|
1975 |
Thomason RH. Necessity, quotation, and truth: An indexical theory Philosophia. 5: 219-241. DOI: 10.1007/Bf02379019 |
0.405 |
|
1972 |
Thomason RH. A semantic theory of sortal incorrectness Journal of Philosophical Logic. 1: 209-258. DOI: 10.1007/Bf00650499 |
0.521 |
|
1971 |
Thomason RH. Logic and Adverbs The Journal of Philosophy. 68: 715-716. DOI: 10.2307/2024941 |
0.432 |
|
1969 |
Thomason RH. A semantical study of constructible falsity Mathematical Logic Quarterly. 15: 247-257. DOI: 10.1002/Malq.19690151602 |
0.305 |
|
1968 |
Leblanc H, Thomason RH. Completeness Theorems for Some Presupposition-Free Logics Fundamenta Mathematicae. 62: 125-164. DOI: 10.4064/Fm-62-2-125-164 |
0.409 |
|
1968 |
Thomason RH. On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus Journal of Symbolic Logic. 33: 1-7. DOI: 10.2307/2270047 |
0.472 |
|
1968 |
STALNAKER RC, THOMASON RH. Abstraction in First‐Order Modal Logic Theoria. 34: 203-207. DOI: 10.1111/J.1755-2567.1968.Tb00351.X |
0.395 |
|
1967 |
Thomason R. Dag Prawitz. Natural deduction. A proof-theoretical study . Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp. Journal of Symbolic Logic. 32: 255-256. DOI: 10.2307/2271676 |
0.354 |
|
1966 |
Leblanc H, Thomason RH. The Demarcation Line Between Intuitionist Logic and Classical Logic Mathematical Logic Quarterly. 12: 257-262. DOI: 10.1002/Malq.19660120121 |
0.353 |
|
1963 |
Belnap ND, Leblanc H, Thomason RH. On not strengthening intuitionistic logic Notre Dame Journal of Formal Logic. 4: 313-320. DOI: 10.1305/Ndjfl/1093957658 |
0.421 |
|
1963 |
Belnap ND, Thomason RH. A rule-completeness theorem Notre Dame Journal of Formal Logic. 4: 39-43. DOI: 10.1305/Ndjfl/1093957392 |
0.362 |
|
Show low-probability matches. |