Anaphora and the logic of change

  • Reinhard Muskens
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 478)


Noun Phrase Type Theory Context State Program Variable Dynamic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bach, E. and Partee, B.H.: 1981, Anaphora and Semantic Structure, CLS 16, 1–28.Google Scholar
  2. Barwise, J.: 1981, Scenes and Other Situations, The Journal of Philosophy, 78, 369–397.Google Scholar
  3. Barwise, J.: 1987, Noun Phrases, Generalized Quantifiers and Anaphora, in P. Gärdenfors (ed.), Generalized Quantifiers, Reidel, Dordrecht, 1–29.Google Scholar
  4. Barwise, J. and Cooper, R.: 1981, Generalized Quantifiers and Natural Language, Linguistics and Philosophy 4, 159–219.Google Scholar
  5. Barwise, J. and Perry J.: 1983, Situations and Attitudes, MIT Press, Cambridge, Massachusetts.Google Scholar
  6. Barwise, J and Etchemendy, 1987, The Liar: An Essay on Truth and Circularity, Oxford University Press.Google Scholar
  7. Bäuerle, R., Egli, U., and Von Stechow, A. (eds.): 1979, Semantics from Different Points of View, Springer, Berlin.Google Scholar
  8. Chierchia, G.: 1990, Intensionality and Context Change, Towards a Dynamic Theory of Propositions and Properties, manuscript, Cornell University.Google Scholar
  9. Church, A.: 1940, A Formulation of the Simple Theory of Types, The Journal of Symbolic Logic 5, 56–68.Google Scholar
  10. Gabbay, D. and Günthner, F. (eds.): 1983, Handbook of Philosophical Logic, Reidel, Dordrecht.Google Scholar
  11. Gallin, D.: 1975, Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam.Google Scholar
  12. Goldblatt, R.: 1987, Logics of Time and Computation, CSLI Lecture Notes, Stanford.Google Scholar
  13. Groenendijk, J. and Stokhof, M.: 1989, Dynamic Predicate Logic, ITLI, Amsterdam. To appear in Linguistics and Philosophy.Google Scholar
  14. Groenendijk, J. and Stokhof, M.: 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, 3–48.Google Scholar
  15. Harel, D.: 1984, Dynamic Logic, in Gabbay & Günthner [1983], 497–604.Google Scholar
  16. Heim, I.: 1982, The Semantics of Definite and Indefinite Noun Phrases, Dissertation, University of Massachusetts, Amherst. Published in 1989 by Garland, New York.Google Scholar
  17. Henkin, L.: 1963, A Theory of Propositional Types, Fundamenta Mathematicae 52, 323–344.Google Scholar
  18. Janssen, T.: 1983, Foundations and Applications of Montague Grammar, Dissertation, University of Amsterdam. Published in 1986 by CWI, Amsterdam.Google Scholar
  19. 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, 277–322.Google Scholar
  20. Karttunen, L.: 1976, Discourse Referents, in J. McCawley (ed.), Notes from the Linguistic Underground, Syntax and Semantics 7, Academic Press, New York.Google Scholar
  21. Lewis, D.: 1979, Score Keeping in a Language Game, in Bäuerle, Egli & Von Stechow [1979], 172–187.Google Scholar
  22. Montague, R.: 1973, The Proper Treatment of Quantification in Ordinary English, reprinted in Montague [1974], 247–270.Google Scholar
  23. Montague, R.: 1974, Formal Philosophy, Yale University Press, New Haven.Google Scholar
  24. Muskens, R.A.: 1989a, 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, 175–220.Google Scholar
  25. Muskens, R.A.: 1989b, Meaning and Partiality, Dissertation, University of Amsterdam.Google Scholar
  26. Muskens, R.A.: to appear, Tense and the Logic of Change, paper submitted to the proceedings of the Third Symposium of Logic and Language, Budapest.Google Scholar
  27. Muskens, R.A.: in preparation, Logical Semantics for Programming Languages.Google Scholar
  28. Orey, S.: 1959, Model Theory for the Higher Order Predicate Calculus, Transactions of the American Mathematical Society 92, 72–84.Google Scholar
  29. Pratt, V.R.: 1976, Semantical Considerations on Floyd-Hoare Logic, Proc. 17th IEEE Symp. on Foundations of Computer Science, 109–121.Google Scholar
  30. Reinhart, T.: 1979, Syntactic Domains for Semantic Rules, in F. Günthner and S. Schmidt (eds.), Formal semantics and Pragmatics for Natural Languages, Reidel, Dordrecht.Google Scholar
  31. Rooth, M.: 1987, Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics, in P. Gärdenfors (ed.), Generalized Quantifiers, Reidel, Dordrecht, 237–268.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Reinhard Muskens
    • 1
  1. 1.Dept. of LinguisticsTilburg UniversityTilburgHolland

Personalised recommendations