{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:20:58Z","timestamp":1768908058330,"version":"3.49.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"value":"354058241X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013985","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:34:32Z","timestamp":1132713272000},"page":"133-148","source":"Crossref","is-referenced-by-count":18,"title":["Temporal logic with reference pointers"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Goranko","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J.F.A.K. Benthem van","year":"1983","unstructured":"van Benthem J.F.A.K. The Logic of Time, Reidel, Dordrecht, 1983."},{"key":"9_CR2","unstructured":"Blackburn P. (1989), Nominal Tense Logic, Dissertation, Centre for cognitive science, University of Edinburgh, 1989."},{"issue":"3","key":"9_CR3","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1111\/j.1755-2567.1970.tb00428.x","volume":"36","author":"R. Bull","year":"1970","unstructured":"Bull R. (1970), An Approach to Tense Logic, Theoria, 36(3),1970, 282\u2013300.","journal-title":"Theoria"},{"issue":"2","key":"9_CR4","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"J. Burgess","year":"1982","unstructured":"Burgess J., Axioms for Tense Logic I: \u201dSince\u201d and \u201dUntil\u201d, Notre Dame Journal of Formal Logic, 23(2), 1982, 367\u2013374.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of Philosophical Logic","author":"J. Burgess","year":"1984","unstructured":"Burgess J. Basic Tense Logic, in: Handbook of Philosophical Logic, D. Gabbay and F. Guenthner (eds.), Reidel, Dordrecht, vol.II, 1984, 89\u2013133."},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D. Gabbay","year":"1981","unstructured":"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\u201389."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-94-009-8384-7_4","volume-title":"Aspects of Philosophical Logic","author":"D. Gabbay","year":"1981","unstructured":"Gabbay, D., Expressive Functional Completeness in Tense Logic,, 91\u2013117."},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","volume":"1","author":"D. Gabbay","year":"1990","unstructured":"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\u2013259.","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"9_CR9","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G. Gargov","year":"1993","unstructured":"Gargov G. & Goranko, V., Modal Logic with Names, Journal of Philosophical Logic, 22(6), 1993, 607\u2013636.","journal-title":"Journal of Philosophical Logic"},{"key":"9_CR10","unstructured":"Goldblatt R.I., Axiomatizing the Logic of Computer Programming, Springer LNCS 130, 1982."},{"key":"9_CR11","unstructured":"Goldblatt R.I., Logic of Time and Computation, CSLI Lecture Notes, No. 7., 1987."},{"key":"9_CR12","unstructured":"Harel D., Recurring dominoes, in: Foundations of Computing Theory, LNCS 158, Springer, Berlin,177\u2013194."},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1111\/j.1755-2567.1971.tb00071.x","volume":"37","author":"J.A.W. Kamp","year":"1971","unstructured":"Kamp J.A.W., Formal Properties of \u201dNow\u201d, Theoria, 37, 1971, 227\u2013273.","journal-title":"Theoria"},{"key":"9_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present, and Future","author":"A. Prior","year":"1967","unstructured":"Prior A., Past, Present, and Future, Clarendon Press, Oxford, 1967."},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passy","year":"1991","unstructured":"Passy S. & Tinchev T., An Essay in Combinatory Dynamic Logic, Information and Computation, 93(2), 1991, 263\u2013332.","journal-title":"Information and Computation"},{"key":"9_CR16","unstructured":"Richards B. et al (?), Temporal Representation and Inference, Academic Press, 1989."},{"issue":"2","key":"9_CR17","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. Rijke de","year":"1992","unstructured":"de Rijke M., The Modal Theory of Inequality, Journal of Symbolic Logic, 57(2), 1992, 566\u2013584.","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR18","unstructured":"de Rijke M., Extending Modal Logic, ILLC Dissertation Series 1993-4, Amsterdam, 1993."},{"key":"9_CR19","unstructured":"Vlach F., Now and then: a formal study in the logic of tense anaphora, Dissertation, UCLA, 1973."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013985.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:08:21Z","timestamp":1607335701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0013985","relation":{},"subject":[]}}