- Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.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
|
|
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.details
|
|
Representation and inference for natural language: a first course in computational semantics.Patrick Blackburn - 2005 - Stanford, Calif.: Center for the Study of Language and Information. Edited by Johannes Bos.details
|
|
(1 other version)On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.details
|
|
General semantics.David K. Lewis - 1970 - Synthese 22 (1-2):18--67.details
|
|
(1 other version)On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.details
|
|
(1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.details
|
|
(1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
(1 other version)Montague Grammar.Barbara H. Partee - 1980 - Journal of Philosophy 77 (5):278-312.details
|
|
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.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
|
|
Type-logical semantics.Bob Carpenter - 1997 - Cambridge: MIT Press.details
|
|
(1 other version)Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.details
|
|
(2 other versions)Introduction to Montague Semantics.Paolo Dau - 1985 - Journal of Symbolic Logic 50 (3):856-858.details
|
|
(1 other version)Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.details
|
|
(1 other version)Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.details
|
|
(1 other version)Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.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
|
|
Logical Form: Its Structure and Derivation.Robert May - 1985 - MIT Press.details
|
|
Introduction to Montague Semantics.David R. Dowty, Robert Eugene Wall & Stanley Peters - 1981 - Springer.details
|
|
A cross-categorial semantics for coordination.Gerald Gazdar - 1979 - Linguistics and Philosophy 3 (3):407 - 409.details
|
|
Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.details
|
|
(1 other version)Montague Grammar.H. L. W. Hendriks & B. Partee - 1997 - In J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.), Handbook of Logic and Language. Elsevier. pp. 5-91.details
|
|
(1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.details
|
|