{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:22Z","timestamp":1725456022328},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058241X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013984","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"117-132","source":"Crossref","is-referenced-by-count":2,"title":["Axiomatizing U and S over integer time"],"prefix":"10.1007","author":[{"given":"M.","family":"Reynolds","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","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: \u201csince\u201d and \u201cuntil\u201d. Notre Dame J Formal Logic, 23(2):367\u2013374, 1982.","journal-title":"Notre Dame J Formal Logic"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Marcelo Finger. Handling database updates in two-dimensional temporal logic. J. of Applied Non-Classical Logic, pages 201\u2013224, 1992.","DOI":"10.1080\/11663081.1992.10510782"},{"issue":"2","key":"8_CR3","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 axiomatisation of the temporal logic with until and since over the real numbers. Journal of Logic and Computation, 1(2):229\u2013260, 1990.","journal-title":"Journal of Logic and Computation"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In 7th ACM Symposium on Principles of Programming Languages, Las Vegas, pages 163\u2013173, 1980.","DOI":"10.1145\/567446.567462"},{"key":"8_CR5","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, Lecture Notes in Logic. Springer-Verlag, 1993."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"D Gabbay, I Hodkinson, and M Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 1. OUP, to appear 1994.","DOI":"10.1007\/BFb0013976"},{"key":"8_CR7","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 with applications to aximatizations of conditions on tense frames. In U Monnich, editor, Aspects of Philosophical Logic, pages 67\u201389. Reidel, Dordrecht, 1981."},{"key":"8_CR8","unstructured":"J Kamp. Tense Logic and the theory of linear order. PhD thesis, Michigan State University, 1968."},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF00370112","volume":"51","author":"M Reynolds","year":"1992","unstructured":"M Reynolds. An axiomatization for Until and Since over the reals without the IRR rule. Studia Logica, 51:165\u2013194, 1992.","journal-title":"Studia Logica"},{"key":"8_CR10","volume-title":"Linear orderings","author":"J. G. Rosenstein","year":"1982","unstructured":"J G Rosenstein. Linear orderings. Academic Press, New York, 1982."},{"key":"8_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J Bentham van","year":"1983","unstructured":"J van Bentham. The Logic of Time. Reidel, Dordrecht, 1983."},{"key":"8_CR12","unstructured":"Y Venema. Completeness via completeness. In M de Rijke, editor, Colloquium on Modal Logic, 1991. ITLI-Network Publication, Instit. for Lang., Logic and Information, University of Amsterdam, 1991."},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF00247911","volume":"17","author":"M. Xu","year":"1988","unstructured":"Ming Xu. On some U,S-Tense Logics. Journal of Philosophical Logic, 17:181\u2013202, 1988.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013984","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:35:25Z","timestamp":1586579725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013984"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0013984","relation":{},"subject":[]}}