---
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: ~