An algebraic study of tense logics with linear time (1968)

by R A Bull
Venue:The Journal of Symbolic Logic