Abstract
An extension of the propositional temporal language is introduced with a simple syntactic device, called ”reference pointer” which provides for making references within a formula to ”instants of reference” specified in the formula. The language with reference pointers \(\mathcal{L}_{trp}\) has a great expressive power (e.g. Kamp's and Stavi's operators as well as Prior's clock variables are definable in it), especially compared to its frugal syntax, perspicuous semantics and simple deductive system. The minimal temporal logic K trp of this language is axiomatized and strong completeness theorem is proved for it and extended to an important class of extensions of K trp . The validity in \(\mathcal{L}_{trp}\) is proved undecidable.
This article was supported by a research grant GUN 2019536 of the Foundation for Research Development of South Africa. The author is also grateful to Patrick Blackburn for the stimulating discussion at the beginning of this research, to Maarten de Rijke for some suggestions, and to Tinko Tinchev for supplying him with LaTEX/EmTeX.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
van Benthem J.F.A.K. The Logic of Time, Reidel, Dordrecht, 1983.
Blackburn P. (1989), Nominal Tense Logic, Dissertation, Centre for cognitive science, University of Edinburgh, 1989.
Bull R. (1970), An Approach to Tense Logic, Theoria, 36(3),1970, 282–300.
Burgess J., Axioms for Tense Logic I: ”Since” and ”Until”, Notre Dame Journal of Formal Logic, 23(2), 1982, 367–374.
Burgess J. Basic Tense Logic, in: Handbook of Philosophical Logic, D. Gabbay and F. Guenthner (eds.), Reidel, Dordrecht, vol.II, 1984, 89–133.
Gabbay, D., An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames. in: Aspects of Philosophical Logic, U. Monnich (ed.). Reidel, Dordrecht, 1981, 67–89.
Gabbay, D., Expressive Functional Completeness in Tense Logic,, 91–117.
Gabbay D. & I. Hodkinson, An Axiomatization of the Temporal Logic with Since and Until Over the Real Numbers. Journal of Logic and Computation, 1, 1990, 229–259.
Gargov G. & Goranko, V., Modal Logic with Names, Journal of Philosophical Logic, 22(6), 1993, 607–636.
Goldblatt R.I., Axiomatizing the Logic of Computer Programming, Springer LNCS 130, 1982.
Goldblatt R.I., Logic of Time and Computation, CSLI Lecture Notes, No. 7., 1987.
Harel D., Recurring dominoes, in: Foundations of Computing Theory, LNCS 158, Springer, Berlin,177–194.
Kamp J.A.W., Formal Properties of ”Now”, Theoria, 37, 1971, 227–273.
Prior A., Past, Present, and Future, Clarendon Press, Oxford, 1967.
Passy S. & Tinchev T., An Essay in Combinatory Dynamic Logic, Information and Computation, 93(2), 1991, 263–332.
Richards B. et al (?), Temporal Representation and Inference, Academic Press, 1989.
de Rijke M., The Modal Theory of Inequality, Journal of Symbolic Logic, 57(2), 1992, 566–584.
de Rijke M., Extending Modal Logic, ILLC Dissertation Series 1993-4, Amsterdam, 1993.
Vlach F., Now and then: a formal study in the logic of tense anaphora, Dissertation, UCLA, 1973.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goranko, V. (1994). Temporal logic with reference pointers. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013985
Download citation
DOI: https://doi.org/10.1007/BFb0013985
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58241-0
Online ISBN: 978-3-540-48585-8
eBook Packages: Springer Book Archive