Tense and tense logic. - Clifford, John E. (Janua linguarum. Ser. minor, 1975)