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  -

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