Tense Logic and the theory of linear orders (1968)

by H Kamp