%A Reinhard Muskens
%J  Logics in AI, Proceedings of JELIA '90, volume 478 of Lecture Notes in Computer Science
%T Anaphora and the Logic of Change
%X 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. 
%K type theory, dynamic semantics, anaphora
%P 412-427
%E Jan van Eijck
%D 1991
%I Springer-Verlag
%L cogprints4704

<script src='https://archive-bar.soton.ac.uk/archive-bar.js'></script>
<script src='https://archive-bar.soton.ac.uk/google-analytics.js'></script>