http://cogprints.org/4714/
Tense and the Logic of Change
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.
Muskens, Reinhard
Philosophy of Language
Semantics
Logic
Reinhard
Muskens