%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