Burgess, J. P., Axioms for tense logic I: “Since” and “Until” , Notre Dame J. Formal Logic , vol. 23 no. 2 (1982), pp. 367–374.Google Scholar

Burgess, J. P., Gurevich, Y., The decision problem for linear temporal logic , Notre Dame J. Formal Logic vol. 26 no. 2 (1985), pp. 115–128.Google Scholar

Chang, C. C., Keisler, H. J., Model Theory, North-Holland, Amsterdam, 3rd edn., 1990.

Doets, Kees, Monadic Π1 1 -theories of Π1 1 -properties , Notre Dame J. Formal Logic , vol. 30 no. 2 (1989), pp. 224–240.Google Scholar

Ehrenfeucht, A., An application of games to the completeness problem for formalized theories , Fund. Math ., vol. 49 (1961), pp. 128–141.Google Scholar

Gabbay, D. M., An irreflexivity lemma, in Aspects of Philosophical Logic , ed. Monnich, U., Reidel, Dordrecht, 1981, pp. 67–89.

Gabbay, D. M., The declarative past and imperative future, in proceedings, Colloquium on Temporal Logic and Specification , Manchester, April 1987, ed. Banieqbal, B. et. al., Lecture Notes in Computer Science 398, Springer-Verlag.

Gabbay, D. M., Hodkinson, I. M., Reynolds, M. A., Temporal Logic: Mathematical Foundations and Computational Aspects , Volume 1, Oxford University Press, 1993.

Gabbay, D. M., Hodkinson, I. M., An axiomatisation of the temporal logic with Until and Since over the real numbers , J. Logic Computat ., vol. 1 no. 2 (1990), pp. 229–259.Google Scholar

Gabbay, D. M., Pnueli, A., Shelah, S., Stavi, J., On the temporal analysis of fairness , 7th ACM Symposium on Principles of Programming Languages , Las Vegas, 1980, pp. 163–173.

Kamp, J. A. W., Tense logic and the theory of linear order, Ph.D. dissertation, University of California, Los Angeles, 1968.

Laüchli, H., Leonard, J., On the elementary theory of linear order , Fund. Math ., vol. 59 (1966), pp. 109–116.Google Scholar

Rabin, M. O., Decidability of second order theories and automata on infinite trees , Trans. Amer. Math. Soc ., vol. 141 (1969), pp. 1–35.Google Scholar

Ramsey, Frank P., On a problem of formal logic , Proc. London Math. Soc ., vol. 30 (1930), pp. 264–286.Google Scholar

Reynolds, Mark A., An axiomatization for Until and Since over the reals without the IRR rule , Studia logica , vol. 51 (1992), pp. 165–193.Google Scholar

Rosenstein, Joseph G., Linear Orderings , Academic Press, New York, 1982.

Schlingloff, B.-H., Expressive completeness of temporal logic over trees , J. Applied Non-Classical Logics , vol. 2 (1992), pp. 157–180.Google Scholar