- Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.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
|
|
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.details
|
|
A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.details
|
|
(1 other version)Handbook of Philosophical Logic.Dov M. Gabbay & Franz Guenthner (eds.) - 1983 - Dordrecht, Netherland: Kluwer Academic Publishers.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
|
|
Lectures on Government and Binding.Noam Chomsky - 1981 - Foris.details
|
|
Adverbs of quantification.David K. Lewis - 1975 - In Edward Louis Keenan (ed.), Formal semantics of natural language: papers from a colloquium sponsored by the King's College Research Centre, Cambridge. New York: Cambridge University Press. pp. 3--15.details
|
|
Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..details
|
|
Dynamic Montague grammar.Martin Stokhof - 1990 - In L. Kalman (ed.), Proceedings of the Second Symposion on Logic and Language, Budapest, Eotvos Lorand University Press, 1990, pp. 3-48. Budapest: Eotvos Lorand University Press. pp. 3-48.details
|
|
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.details
|
|
(1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
Cross-linguistic semantics.Maria Bittner - 1994 - Linguistics and Philosophy 17 (1):53 - 108.details
|
|
(1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.details
|
|
CWI Tract.Theo M. V. Janssen - 1986details
|
|
(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
|
|
The Semantics of Definite and Indefinite Noun Phrases.Irene Heim - 1982 - Dissertation, Umass Amherstdetails
|
|
Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.details
|
|
Anaphora and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 412-427.details
|
|
Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
Logical Types for Natural Languages.Edward Louis Keenan & Leonard M. Faltz - 1978 - [Dept. Of Linguistics, Ucla],].details
|
|
(1 other version)Meaning and Partiality.Reinhard Muskens - 1989 - Dissertation, University of Amsterdamdetails
|
|
(1 other version)Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.details
|
|
Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.details
|
|
The Grammar of Quantification.Robert May - 1977 - Dissertation, Massachusetts Institute of Technologydetails
|
|
Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.details
|
|
(1 other version)Handbook of Philosophical Logic.D. M. Gabbay & F. Guenthner - 2007 - Bulletin of Symbolic Logic 13 (2):248-250.details
|
|
On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.details
|
|
Anaphora and dynamic binding.Gennaro Chierchia - 1992 - Linguistics and Philosophy 15 (2):111--183.details
|
|
(1 other version)Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.details
|
|
A cross-categorial semantics for coordination.Gerald Gazdar - 1979 - Linguistics and Philosophy 3 (3):407 - 409.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.details
|
|
A compositional approach to discourse representation theory.Henk Zeevat - 1989 - Linguistics and Philosophy 12 (1):95 - 131.details
|
|
A natural deduction system for discourse representation theory.Werner Saurer - 1993 - Journal of Philosophical Logic 22 (3):249 - 302.details
|
|
Λ-normal forms in an intensional logic for English.J. Friedman - 1980 - Studia Logica 39:311.details
|
|
Anaphora and Dynamic Logic.Gennaro Chierchia - 1992 - Linguistics and Philosophy 15 (2):111-183.details
|
|