| Logic for artificial intelligence RW Turner Prentice Hall PTR, 1984 | 486 | 1984 |
| Semantics and property theory G Chierchia, R Turner Linguistics and philosophy, 261-302, 1988 | 419 | 1988 |
| Philosophy of computer science R Turner, AH Eden Stanford University, 2008 | 216* | 2008 |
| A theory of properties R Turner The Journal of Symbolic Logic 52 (2), 455-472, 1987 | 146 | 1987 |
| Truth and modality for knowledge representation R Turner Pitman, 1990 | 145 | 1990 |
| Properties, Types and Meaning: Volume II: Semantic Issues G Chierchia, BBH Partee, R Turner Springer Science & Business Media, 2012 | 131 | 2012 |
| Turner, R. R Turner Minds and Machines 21 (2), 135-152, 2011 | 71* | 2011 |
| Constructive foundations for functional languages R Turner McGraw-Hill, 1991 | 69 | 1991 |
| Problems in the ontology of computer programs AH Eden, R Turner Applied Ontology 2 (1), 13-36, 2007 | 61 | 2007 |
| Computational linguistics and formal semantics M Rosner, R Johnson Cambridge University Press, 1992 | 56 | 1992 |
| Properties, propositions and semantic theory R Turner Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992 | 55 | 1992 |
| Montague semantics, nominalization and Scott's domains R Turner Linguistics and Philosophy, 259-288, 1983 | 48 | 1983 |
| Programming languages as technical artifacts R Turner Philosophy & technology 27, 377-397, 2014 | 44 | 2014 |
| YPA—an intelligent directory enquiry assistant A De Roeck, U Kruschwitz, P Neal, P Scott, S Steel, R Turner, N Webb BT Technology Journal 16 (3), 145-154, 1998 | 37 | 1998 |
| The foundations of specification R Turner J. Log. Comput. 15 (5), 623-662, 2005 | 34 | 2005 |
| Computable models R Turner Springer, 2009 | 31 | 2009 |
| Understanding programming languages R Turner Minds and Machines 17, 203-216, 2007 | 30 | 2007 |
| Types R Turner Handbook of logic and language, 535-586, 1997 | 29 | 1997 |
| Towards a programming language ontology R Turner, AH Eden na, 2007 | 24 | 2007 |
| Counterfactuals without possible worlds R Turner Journal of Philosophical Logic, 453-493, 1981 | 24 | 1981 |
