Skip to main content
SpringerLink
Log in

Anaphora and the logic of change

  • Selected Papers
  • Conference paper
  • First Online:
Logics in AI (JELIA 1990)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 478))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Bach, E. and Partee, B.H.: 1981, Anaphora and Semantic Structure, CLS 16, 1–28.

    Google Scholar 

  • Barwise, J.: 1981, Scenes and Other Situations, The Journal of Philosophy, 78, 369–397.

    Google Scholar 

  • Barwise, J.: 1987, Noun Phrases, Generalized Quantifiers and Anaphora, in P. Gärdenfors (ed.), Generalized Quantifiers, Reidel, Dordrecht, 1–29.

    Google Scholar 

  • Barwise, J. and Cooper, R.: 1981, Generalized Quantifiers and Natural Language, Linguistics and Philosophy 4, 159–219.

    Google Scholar 

  • Barwise, J. and Perry J.: 1983, Situations and Attitudes, MIT Press, Cambridge, Massachusetts.

    Google Scholar 

  • Barwise, J and Etchemendy, 1987, The Liar: An Essay on Truth and Circularity, Oxford University Press.

    Google Scholar 

  • Bäuerle, R., Egli, U., and Von Stechow, A. (eds.): 1979, Semantics from Different Points of View, Springer, Berlin.

    Google Scholar 

  • Chierchia, G.: 1990, Intensionality and Context Change, Towards a Dynamic Theory of Propositions and Properties, manuscript, Cornell University.

    Google Scholar 

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

    Google Scholar 

  • Gabbay, D. and Günthner, F. (eds.): 1983, Handbook of Philosophical Logic, Reidel, Dordrecht.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  • Groenendijk, J. and Stokhof, M.: 1989, Dynamic Predicate Logic, ITLI, Amsterdam. To appear in Linguistics and Philosophy.

    Google Scholar 

  • 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 

  • Harel, D.: 1984, Dynamic Logic, in Gabbay & Günthner [1983], 497–604.

    Google Scholar 

  • 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 

  • Henkin, L.: 1963, A Theory of Propositional Types, Fundamenta Mathematicae 52, 323–344.

    Google Scholar 

  • Janssen, T.: 1983, Foundations and Applications of Montague Grammar, Dissertation, University of Amsterdam. Published in 1986 by CWI, Amsterdam.

    Google Scholar 

  • 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 

  • Karttunen, L.: 1976, Discourse Referents, in J. McCawley (ed.), Notes from the Linguistic Underground, Syntax and Semantics 7, Academic Press, New York.

    Google Scholar 

  • Lewis, D.: 1979, Score Keeping in a Language Game, in Bäuerle, Egli & Von Stechow [1979], 172–187.

    Google Scholar 

  • Montague, R.: 1973, The Proper Treatment of Quantification in Ordinary English, reprinted in Montague [1974], 247–270.

    Google Scholar 

  • Montague, R.: 1974, Formal Philosophy, Yale University Press, New Haven.

    Google Scholar 

  • 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 

  • Muskens, R.A.: 1989b, Meaning and Partiality, Dissertation, University of Amsterdam.

    Google Scholar 

  • 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 

  • Muskens, R.A.: in preparation, Logical Semantics for Programming Languages.

    Google Scholar 

  • Orey, S.: 1959, Model Theory for the Higher Order Predicate Calculus, Transactions of the American Mathematical Society 92, 72–84.

    Google Scholar 

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

    Google Scholar 

  • 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 

  • 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 

Download references

Author information

Authors and Affiliations

  1. Dept. of Linguistics, Tilburg University, P.O. Box 90153, 5000 LE, Tilburg, Holland

    Reinhard Muskens

Authors
  1. Reinhard Muskens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. van Eijck

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Muskens, R. (1991). Anaphora and the logic of change. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018456

Download citation

  • DOI: https://doi.org/10.1007/BFb0018456

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53686-4

  • Online ISBN: 978-3-540-46982-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation