TY - GEN ID - cogprints4704 UR - http://cogprints.org/4704/ A1 - Muskens, Reinhard Y1 - 1991/// N2 - 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. PB - Springer-Verlag KW - type theory KW - dynamic semantics KW - anaphora TI - Anaphora and the Logic of Change SP - 412 AV - public EP - 427 ER -