Semantic analysis of tense logic (1972)

by Steven K Thomason
Venue:The Journal of Symbolic Logic