Basic Tense Logic

This publication has 22 references indexed in Scilit:

• Axioms for tense logic. I. ``Since'' and ``until''.
  Notre Dame Journal of Formal Logic, 1982
• Expressive Functional Completeness in Tense Logic (Preliminary report)
  Published by Springer Nature ,1981
• An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames
  Published by Springer Nature ,1981
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Diodorean modality in Minkowski spacetime
  Studia Logica, 1980
• Logic and time
  The Journal of Symbolic Logic, 1979
• Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
  Published by Springer Nature ,1976
• Model theory for tense logics
  Annals of Mathematical Logic, 1975
• An approach to tense logic¹
  Theoria, 1970
• An algebraic study of tense logics with linear time
  The Journal of Symbolic Logic, 1968