Anaphora and the logic of change
Reinhard Muskens · Data Archiving and Networked Services (DANS) · 1992
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.