Skip to main content Accessibility help
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 3
  • Print publication year: 2017
  • Online publication date: March 2017

Temporal expressive completeness in the presence of gaps

Burgess, J. P., Axioms for tense logic I: “Since” and “Until” , Notre Dame J. Formal Logic , vol. 23 no. 2 (1982), pp. 367–374.
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.
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.
Ehrenfeucht, A., An application of games to the completeness problem for formalized theories , Fund. Math ., vol. 49 (1961), pp. 128–141.
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.
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.
Rabin, M. O., Decidability of second order theories and automata on infinite trees , Trans. Amer. Math. Soc ., vol. 141 (1969), pp. 1–35.
Ramsey, Frank P., On a problem of formal logic , Proc. London Math. Soc ., vol. 30 (1930), pp. 264–286.
Reynolds, Mark A., An axiomatization for Until and Since over the reals without the IRR rule , Studia logica , vol. 51 (1992), pp. 165–193.
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.