Tense logic and the theory of linear order