Switch to: Citations

Add references

You must login to add references.
  1. CWI Tract.Theo M. V. Janssen - 1986
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • (1 other version)The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   406 citations  
  • The Semantics of Definite and Indefinite Noun Phrases.Irene Heim - 1982 - Dissertation, Umass Amherst
    Download  
     
    Export citation  
     
    Bookmark   603 citations  
  • Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.
    Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   398 citations  
  • A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (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.
    Download  
     
    Export citation  
     
    Bookmark   357 citations  
  • Lectures on Government and Binding.Noam Chomsky - 1981 - Foris.
    A more extensive discussion of certain of the more technical notions appears in my paper "On Binding" (Chomsky,; henceforth, OB). ...
    Download  
     
    Export citation  
     
    Bookmark   644 citations  
  • Intensional and higher-order modal logic.Daniel Gallin - 1972 - [Berkeley,: [Berkeley.
    INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, we have in mind an ...
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • 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.
    In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...)
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Anaphora and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 412-427.
    This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
    This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...)
    Download  
     
    Export citation  
     
    Bookmark   358 citations  
  • Cross-linguistic semantics.Maria Bittner - 1994 - Linguistics and Philosophy 17 (1):53 - 108.
    Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Logical Types for Natural Languages.Edward Louis Keenan & Leonard M. Faltz - 1978 - [Dept. Of Linguistics, Ucla],].
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)Meaning and Partiality.Reinhard Muskens - 1989 - Dissertation, University of Amsterdam
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • (1 other version)Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
    Download  
     
    Export citation  
     
    Bookmark   243 citations  
  • 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.
    Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
    Download  
     
    Export citation  
     
    Bookmark   458 citations  
  • (1 other version)Handbook of Philosophical Logic.Dov M. Gabbay & Franz Guenthner (eds.) - 1983 - Dordrecht, Netherland: Kluwer Academic Publishers.
    The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work ...
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   282 citations  
  • Intensional and higher-order modal logic: with applications to Montague semantics.Daniel Gallin - 1975 - New York: American Elsevier Pub. Co..
    CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ...
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Categorial grammar and discourse representation theory.Reinhard Muskens - 1994 - In Yorick Wilks (ed.), Proceedings of COLING 94. Kyoto: pp. 508-514.
    In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   226 citations  
  • (1 other version)A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • The Grammar of Quantification.Robert May - 1977 - Dissertation, Massachusetts Institute of Technology
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.
    In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
    This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • (1 other version)Handbook of Philosophical Logic.D. M. Gabbay & F. Guenthner - 2007 - Bulletin of Symbolic Logic 13 (2):248-250.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Anaphora and dynamic binding.Gennaro Chierchia - 1992 - Linguistics and Philosophy 15 (2):111--183.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • (1 other version)Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.
    This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • A cross-categorial semantics for coordination.Gerald Gazdar - 1979 - Linguistics and Philosophy 3 (3):407 - 409.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • A compositional approach to discourse representation theory.Henk Zeevat - 1989 - Linguistics and Philosophy 12 (1):95 - 131.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • A natural deduction system for discourse representation theory.Werner Saurer - 1993 - Journal of Philosophical Logic 22 (3):249 - 302.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Λ-normal forms in an intensional logic for English.J. Friedman - 1980 - Studia Logica 39:311.
    Montague [7] translates English into a tensed intensional logic, an extension of the typed -calculus. We prove that each translation reduces to a formula without -applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of English phrases have the special property that arguments to functions are modally closed. We then show that formulas in which arguments are modally closed have a unique fully reduced -normal form. As a corollary, translations of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Anaphora and Dynamic Logic.Gennaro Chierchia - 1992 - Linguistics and Philosophy 15 (2):111-183.
    Download  
     
    Export citation  
     
    Bookmark   27 citations