--- 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. " altloc: - http://let.uvt.nl/general/people/rmuskens/pubs/anaphora.ps - http://let.uvt.nl/general/people/rmuskens/pubs/anaphora.pdf chapter: ~ commentary: ~ commref: ~ confdates: ~ conference: ~ confloc: ~ contact_email: ~ creators_id: [] creators_name: - family: Muskens given: Reinhard honourific: '' lineage: '' date: 1991 date_type: published datestamp: 2006-01-21 department: ~ dir: disk0/00/00/47/04 edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: - family: van Eijck given: Jan honourific: '' lineage: '' eprint_status: archive eprintid: 4704 fileinfo: /style/images/fileicons/application_pdf.png;/4704/1/anaphora.pdf|/style/images/fileicons/application_postscript.png;/4704/2/anaphora.ps full_text_status: public importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: 'type theory, dynamic semantics, anaphora' lastmod: 2011-03-11 08:56:19 latitude: ~ longitude: ~ metadata_visibility: show note: ~ number: ~ pagerange: 412-427 pubdom: FALSE publication: " Logics in AI, Proceedings of JELIA '90, volume 478 of Lecture Notes in Computer Science" publisher: Springer-Verlag refereed: TRUE referencetext: ~ relation_type: [] relation_uri: [] reportno: ~ rev_number: 14 series: ~ source: ~ status_changed: 2007-09-12 17:01:53 subjects: - phil-lang - ling-comput - ling-sem succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ thesistype: ~ title: Anaphora and the Logic of Change type: bookchapter userid: 6111 volume: ~