creators_name: Muskens, Reinhard editors_name: van Eijck, Jan type: bookchapter datestamp: 2006-01-21 lastmod: 2011-03-11 08:56:19 metadata_visibility: show title: Anaphora and the Logic of Change ispublished: pub subjects: phil-lang subjects: ling-comput subjects: ling-sem full_text_status: public keywords: type theory, dynamic semantics, anaphora abstract: 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. date: 1991 date_type: published publication: Logics in AI, Proceedings of JELIA '90, volume 478 of Lecture Notes in Computer Science publisher: Springer-Verlag pagerange: 412-427 refereed: TRUE citation: Muskens, Reinhard (1991) Anaphora and the Logic of Change. [Book Chapter] document_url: http://cogprints.org/4704/1/anaphora.pdf document_url: http://cogprints.org/4704/2/anaphora.ps