%A Reinhard Muskens
%J Lexical Knowledge in the Organization of Language
%T Tense and the Logic of Change
%X In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.
%K tense, temporal anaphora, Montague semantics, Discourse Representation Theory
%P 147-183
%E Urs Egli
%E Peter Pause
%E Christoph Schwarze
%E Arnim von Stechow
%E Goetz Wienold
%D 1995
%I John Benjamins
%L cogprints4714