Tense Logic and the Theory of Linear Order (1968)

by H W Kamp
Venue:Ph.D. The- sis, UCLA