Anaphora and the Logic of ChangeReinhardMuskensauthorThis 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. Philosophy of LanguageComputational LinguisticsSemantics1991Springer-VerlagBook Chapter