Let us call “tense logic” the programme of explaining tense in natural languages by means of a model theory similar in structure to possible worlds semantics for modality. This programme would make the following claims.