Tense logic takes a similar strategy: the tensed statement is broken into the non-tensed statement and the time at which the non-tensed statement is evaluated, for example:
(39) 'Mozart died young' is true (at the present time) if and only if there is a time t earlier than the present time such that 'Mozart die