{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:41Z","timestamp":1761611141164},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bf00370112","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T00:39:22Z","timestamp":1099442362000},"page":"165-193","source":"Crossref","is-referenced-by-count":28,"title":["An axiomatization for until and since over the reals without the IRR rule"],"prefix":"10.1007","volume":"51","author":[{"given":"Mark","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"The Logic of Time","author":"Johan Benthem van","year":"1982","unstructured":"Johan van Benthem, The Logic of Time, Reidel, Dordrecht, 1982."},{"issue":"no.2","key":"CR2","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"J. P. Burgess","year":"1982","unstructured":"J.P. Burgess, Axioms for tense logic I: ?Since? and ?Until?, Notre Dame J. Formal Logic 23 no.2 (1982) 367?374.","journal-title":"Notre Dame J. Formal Logic"},{"issue":"no. 2","key":"CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1305\/ndjfl\/1093870820","volume":"26","author":"J.P. Burgess","year":"1985","unstructured":"J.P. Burgess and Y. Gurevich, The decision problem for linear temporal logic, Notre Dame J. Formal Logic 26 no. 2 (1985) 115?128.","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR4","unstructured":"Kees Doets, Completeness and Definability, Dissertation, Mathematical Institute, Univ. of Amsterdam, 1987."},{"issue":"no. 2","key":"CR5","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1305\/ndjfl\/1093635080","volume":"30","author":"Kees Doets","year":"1989","unstructured":"Kees Doets, Monadic II 1 1 -theories ofII 1 1 -properties, Notre Dame J. Formal Logic 30 no. 2 (1989), 224?240.","journal-title":"Notre Dame J. Formal Logic"},{"key":"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.M. Gabbay","year":"1981","unstructured":"D.M. Gabbay, An irreflexivity lemma, in: Aspects of Philosophical Logic, ed U. Monnich, Reidel, Dordrecht, 1981, 67?89."},{"key":"CR7","unstructured":"D.M. Gabbay in collaboration with I.M. Hodkinson and M.A. Reynolds, Temporal Logic: Mathematical Foundations and Computational Aspects, O.U.P. to be published 1992."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","volume":"1","author":"D.M. Gabbay","year":"1990","unstructured":"D.M. Gabbay and I.M. Hodkinson, An axiomatization of the temporal logic with Until and Since over the real numbers, J. Logic and Computation 1 (1990) 229?259.","journal-title":"J. Logic and Computation"},{"key":"CR9","unstructured":"D.M. Gabbay, I.M. Hodkinson and M.A. Reynolds, Temporal expressive completeness in the presence of gaps, in Proceedings ASL European Meeting, 1990, Helsinki, vol 1 of Lecture Notes in Logic, Springer-Verlag 1991."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay, A. Pnueli, S. Shelah and J. Stavi, On the temporal analysis of fairness, 7th ACM Symposium on Principles of Programming Languages, Las Vegas, 1980, 163?173.","DOI":"10.1145\/567446.567462"},{"key":"CR11","unstructured":"D.M. Gabbay and M.A. Reynolds, Inheriting expressive completeness, Logic and Computation Research Report, Dept Comp., Imperial College, in preparation."},{"key":"CR12","unstructured":"I.M. Hodkinson, Notes on the irreflexivity rule, Logic and Computation Research Report, Dept Comp., Imperial College, in preparation."},{"key":"CR13","unstructured":"J.A.W. Kamp, Tense Logic and the theory of linear order, Ph.D. Thesis, University of California, 1968."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00293447","volume":"18","author":"S. Kuhn","year":"1989","unstructured":"S. Kuhn, The domino relation: flattening a two-dimensional logic, Journal of Philosophical Logic, 18 (1989) 173?195.","journal-title":"Journal of Philosophical Logic"},{"key":"CR15","volume-title":"Linear Orderings","author":"J.G. Rosenstein","year":"1982","unstructured":"J.G Rosenstein, Linear Orderings, Academic Press, New York, 1982."},{"key":"CR16","unstructured":"Y. Venema, Modal derivation rules, ITLI prepublication, Instit. for Lang., Logic and Information, University of Amsterdam., 1991."},{"key":"CR17","unstructured":"Y. Venema, Completeness via Completeness: Since and Until, in: Colloquium on Modal Logic 1991, ed. M. de Rijke, ITLI-Network Publication, Instit. for Lang., Logic and Information, University of Amsterdam., to appear."},{"key":"CR18","first-page":"181","volume":"17","author":"M. Xu","year":"1988","unstructured":"M. Xu, On some U, S-tense logics, J. of Philosophical Logic 17 (1988) 181?202.","journal-title":"J. of Philosophical Logic"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF00284972","volume":"20","author":"A. Zanardo","year":"1991","unstructured":"A. Zanardo, A complete deductive system for Since-Until branching time logic, J. of Philosophical Logic 20 (1991) 131?148.","journal-title":"J. of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370112.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370112\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:44:01Z","timestamp":1554774241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992]]}},"alternative-id":["BF00370112"],"URL":"https:\/\/doi.org\/10.1007\/bf00370112","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}