On some U,S-tense logics

[1]  S. K. Thomason,et al.  An incompleteness theorem in modal logic , 1974 .

[2]  John P. Burgess,et al.  Axioms for tense logic. I. "Since" and "until" , 1982, Notre Dame J. Formal Log..

[3]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[4]  Steven K. Thomason,et al.  Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.