http://cogprints.org/4704/
Anaphora and the Logic of Change
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.
Muskens, Reinhard
Philosophy of Language
Computational Linguistics
Semantics
Reinhard
Muskens