raymond turner
raymond turner
Professor logic and computation Essex University
Verified email at essex.ac.uk
Title
Cited by
Cited by
Year
Logics for artificial intelligence
R Turner
4101984
Logics for artificial intelligence
R Turner
4101984
Semantics and property theory
G Chierchia, R Turner
Linguistics and Philosophy 11 (3), 261-302, 1988
3561988
The philosophy of computer science
R Turner, N Angius
160*2013
A theory of properties
R Turner
The Journal of Symbolic Logic 52 (2), 455-472, 1987
1391987
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1321990
Truth and modality for knowledge representation
R Turner
Pitman, 1990
1321990
Properties, Types and Meaning: Volume II: Semantic Issues
G Chierchia, BBH Partee, R Turner
Springer Science & Business Media, 2012
1022012
Constructive foundations for functional languages
R Turner
McGraw-Hill Book Company Limited, 1991
631991
Constructive foundations for functional languages
R Turner
McGraw-Hill Book Company Limited, 1991
631991
Problems in the ontology of computer programs
AH Eden, R Turner
Applied Ontology 2 (1), 13-36, 2007
522007
Properties, propositions and semantic theory
R Turner
Computational Linguistics and Formal Semantics, Studies in Natural Language …, 1992
501992
Computational linguistics and formal semantics
M Rosner, R Johnson
Cambridge University Press, 1992
471992
Montague semantics, nominalization and Scott's domains
R Turner
Linguistics and Philosophy 6 (2), 259-288, 1983
431983
Types
R Turner
Handbook of logic and language, 535-586, 1997
301997
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
291998
The foundations of specification
R Turner
J. Log. Comput. 15 (5), 623-662, 2005
282005
Turner, R.
R Turner
Minds and Machines 21 (2), 135-152, 2011
27*2011
Programming languages as technical artifacts
R Turner
Philosophy & technology 27 (3), 377-397, 2014
262014
Computable models
R Turner
Springer London, 2009
262009
The system can't perform the operation now. Try again later.
Articles 1–20