2006-01-21Z2011-03-11T08:56:19Zhttp://cogprints.org/id/eprint/4704This item is in the repository with the URL: http://cogprints.org/id/eprint/47042006-01-21ZAnaphora and the Logic of ChangeThis 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. Reinhard Muskens