- Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.details
|
|
An Overview of KRL, a Knowledge Representation Language.Daniel G. Bobrow & Terry Winograd - 1977 - Cognitive Science 1 (1):3-46.details
|
|
(1 other version)An Overview of the KL‐ONE Knowledge Representation System.Ronald J. Brachman & James G. Schmolze - 1985 - Cognitive Science 9 (2):171-216.details
|
|
(1 other version)Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.details
|
|
A Defence of Arbitrary Objects.Kit Fine & Neil Tennant - 1983 - Aristotelian Society Supplementary Volume 57 (1):55 - 89.details
|
|
The SNePS Family.Stuart C. Shapiro & William J. Rapaport - 1992 - Computers and Mathematics with Applications 23:243-275.details
|
|
A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.details
|
|
Reference and generality.P. T. Geach - 1962 - Ithaca, N.Y.,: Cornell University Press. Edited by Michael C. Rea.details
|
|
(1 other version)The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.details
|
|
(1 other version)Philosophy of logic.Willard Van Orman Quine - 1986 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
Reasoning with arbitrary objects.Kit Fine - 1985 - New York, NY, USA: Blackwell.details
|
|
(1 other version)Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.details
|
|
Ontological Relativity and Other Essays.Willard Van Orman Quine - 1969 - New York: Columbia University Press.details
|
|
English as a Formal Language.Richard Montague - 1970 - In B. Visentini (ed.), Linguaggi Nella Societ\'{a} e Nella Tecnica'. Edizioni di Communita. pp. 188-221.details
|
|
(1 other version)An Overview of the KL-ONE Knowledge Representation System.J. Brachman Ronald & G. Schmolze James - 1985 - Cognitive Science 9 (2):171-216.details
|
|
(1 other version)The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
Introduction to Montague Semantics.David R. Dowty, Robert Eugene Wall & Stanley Peters - 1981 - Springer.details
|
|
Natural deduction and arbitrary objects.Kit Fine - 1985 - Journal of Philosophical Logic 14 (1):57 - 107.details
|
|
(2 other versions)Philosophy of Logic.W. V. Quine - 2005 - In José Medina & David Wood (eds.), Truth. Malden, MA: Blackwell.details
|
|
Natural language syntax and first-order inference.David A. McAllester & Robert Givan - 1992 - Artificial Intelligence 56 (1):1-20.details
|
|
Reasoning with Arbitrary Objects.Kit Fine - 1985 - Revue Philosophique de la France Et de l'Etranger 176 (3):402-403.details
|
|
Reference and Generality.Peter Geach - 1962 - Studia Logica 15:301-303.details
|
|
The Proper Theory of Quantification.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht.details
|
|
On branching quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.details
|
|
(1 other version)Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.details
|
|
Do quantifiers branch?G. Fauconnier - 1975 - Linguistic Inquiry 6:555--567.details
|
|