Combining Montague semantics and discourse representation

Asher, N.: 1993,Reference to Abstract Objects in Discourse, Kluwer, Dordrecht.

Barwise, J.: 1987, ?Noun Phrases, Generalized Quantifiers and Anaphora?, in P. Gdrdenfors (ed.),Generalized Quantifiers, Reidel, Dordrecht, pp. 1?29.

van Benthem, J. F. A. K.: 1989, ?Semantic Parallels?, in H. D. Ebbinghaus et al. (eds.),Logic Colloquium, Granada 1987, North-Holland, Amsterdam, pp. 331?375.

van Benthem, J. F. A. K.: 1991,Language in Action, North-Holland, Amsterdam.

Bittner, M.: 1994, ?Cross-Linguistic Semantics?,Linguistics and Philosophy 17, 53?108.

Bos, J., E. Mastenbroek, S. McGlashan, S. Millies and M. Pinkal: 1994, ?A Compositional DRS-based Formalism for NLP Applications?, in H. Bunt, R. Muskens and G. Rentier (eds),Proceedings of the International Workshop on Computational Semantics, ITK, Tilburg, pp. 21?31.

Chierchia, G.: 1992, ?Anaphora and Dynamic Binding?,Linguistics and Philosophy 15, 111?183.

Chomsky, N.: 1981,Lectures on Government and Binding, Foris, Dordrecht.

Church, A.: 1940, ?A Formulation of the Simple Theory of Types?,The Journal of Symbolic Logic 5, 56?68.

Dekker, P. J. E.: 1993,Transsentential Meditations, Dissertation, University of Amsterdam.

Friedman, J. and D. Warren: 1980, ?Lambda Normal Forms in an Intensional Logic for English?,Studia Logica 39, 311?324.

Gabbay, D. and F. Gfinthner (eds.): 1983,Handbook of Philosophical Logic, Reidel, Dordrecht.

Gallin, D.: 1975,Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam.

Gazdar, G.: 1980, ?A Cross-Categorial Semantics for Coordination?,Linguistics and Philosophy 3, 407?409.

Goldblatt, R.: 1987,Logics of Time and Computation, CSLI Lecture Notes, Stanford.

Groenendijk, J. and M. Stokhof: 1990, ?Dynamic Montague Grammar?, in L. Kálmán and L. Pólos (eds.),Papers from the Second Symposium on Logic and Language, Akadémiai Kiadó, Budapest, pp. 3?48.

Groenendijk, J. and M. Stokhof: 1991, ?Dynamic Predicate Logic?,Linguistics and Philosophy 14, 39?100.

Heim, I.: 1982,The Semantics of Definite and Indefinite Noun Phrases, Dissertation, UMass, Amherst, published in 1989 by Garland, New York.

Heim, I.: 1983, ?File Change Semantics and the Familiarity Theory of Definiteness?, in R. Bäuerle, C. Schwarze, and A. von Stechow (eds.),Meaning, Use and Interpretation of Language, de Gruyter, Berlin.

Hendriks, H.: 1993,Studied Flexibility: Categories and Types in Syntax and Semantics, Doctoral dissertation, University of Amsterdam.

Henkin, L.: 1963, ?A Theory of Propositional Types?,Fundamenta Mathematisce 52, 323?344.

Janssen, T.: 1986,Foundations and Applications of Montague Grammar, CWI, Amsterdam.

Kamp, H.: 1981, ?A Theory of Truth and Semantic Representation?, in J. Groenendijk, Th. Janssen, and M. Stokhof (eds.),Formal Methods in the Study of Language, Part I, Mathematisch Centrum, Amsterdam, pp. 277?322.

Kamp, H. and U. Reyle: 1993,From Discourse to Logic, Kluwer, Dordrecht.

Keenan, E. and L. Faltz: 1978,Logical Types for Natural Language, UCLA Occasional Papers in Linguistics,3.

Latecki, L. and M. Pinkal: 1990,Syntactic and Semantic Conditions for Quantifier Scope, Graduirung und Komparation, Arbeitspapier Nr. 13, Universität des Saarlandes.

Lewis, D.: 1975, ?Adverbs of Quantification?, in E. Keenan (ed.),Formal Semantics of Natural Language, Cambridge University Press, pp. 3?15.

May, R.: 1977,The Grammar of Quantification, Ph.D. dissertation, MIT, Cambridge.

Montague, R.: 1973, ?The Proper Treatment of Quantification in Ordinary English?, in R. Montague (ed.),Formal Philosophy, Yale University Press, New Haven, 1974, pp. 247?270.

Muskens, R. A.: 1989, ?Going Partial in Montague Grammar?, in R. Bartsch, J. F. A. K. van Benthem and P. van Emde Boas (eds.),Semantics and Contextual Expression, Foris, Dordrecht, pp. 175?220.

Muskens, R. A.: 1991, ?Anaphora and the Logic of Change?, in Jan van Eijck (ed.),JELIA '90, European Workshop on Logics in AI, Springer Lecture Notes, Springer, Berlin, pp. 414?430.

Muskens, R.: 1994, ?Categorial Grammar and Discourse Representation Theory?,Proceedings of COLING 94, Kyoto, pp. 508?514.

Muskens, R. A.: 1995a, ?Tense and the Logic of Change?, in: U. Egli, P. E. Pause, C. Schwarze, A. von Stechow and G. Wienold (eds.),Lexical Knowledge in the Organisation of Language, J. Benjamins, Amsterdam/Philadelphia, pp. 147?183.

Muskens, R. A.: 1995b,Meaning and Partiality, CSLI, Stanford CA.

Muskens, R. A., J. F. A. K. van Benthem, and A. Visser: forthcoming, ?Dynamics?, in J. F. A. K. van Benthem and A. ter Meulen (eds.),The Handbook of Logic and Language, Elsevier Science Publishers.

Partee, B. and M. Rooth: 1983, ?Generalized Conjunction and Type Ambiguity?, in R. Bäuerle, Ch. Schwarze and A. von Stechow (eds.),Meaning, Use and Interpretation of Language, De Gruyter, Berlin, pp. 361?383.

Pratt, V. R.: 1976, ?Semantical Considerations on Floyd-Hoare Logic?,Proc. 17th IEEE Symp. on Foundations of Computer Science, pp. 109?121.

Rooth, M.: 1987, ?Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics?, in P. Gärdenfors (ed.),Generalized Quantifiers, Reidel, Dordrecht, pp. 237?268.

Saurer, W.: 1993, ?A Natural Deduction System for Discourse Representation Theory?,Journal of Philosophical Logic 22, 249?302.

Scott, D.: 1971, ?On Engendering an Illusion of Understanding?,Journal of Philosophy 68, 787?807.

Von Stechow, A.: 1974, ?? ? ? kontextfreie Sprachen: Ein Beitrag zu einer natürlichen formalen Semantik?,Linguistische Berichte 34, 1?33.

Zeevat, H.: 1989, ?A Compositional Approach to Discourse Representation Theory?,Linguistics and Philosophy 12, 95?131.