{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:38:50Z","timestamp":1762270730396},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1007\/bf01050343","type":"journal-article","created":{"date-parts":[[2005,1,31]],"date-time":"2005-01-31T14:40:46Z","timestamp":1107182446000},"page":"197-224","source":"Crossref","is-referenced-by-count":10,"title":["Axiomatisation and decidability ofF andP in cyclical time"],"prefix":"10.1007","volume":"23","author":[{"given":"Mark","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J. Benthem van","year":"1983","unstructured":"van Benthem, J.The Logic of Time, Reidel, Dordrecht, 1983."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Burgess, J. P. ?Basic tense logic?, in:Handbook of Philosophical Logic, ed. Gabbay, D. and Guenthner, F., D. Reidel, 1984.","DOI":"10.1007\/978-94-009-6259-0_2"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Cameron, P. J.Oligomorphic Permutation Groups, London Mathematical Society Lecture Note Series, number 152, Cambridge, 1990.","DOI":"10.1017\/CBO9780511549809"},{"key":"CR4","first-page":"67","volume-title":"An irreflexivity lemma","author":"D. M. Gabbay","year":"1981","unstructured":"Gabbay, D. M. ?An irreflexivity lemma?, in [15], pp. 67?89."},{"key":"CR5","first-page":"91","volume-title":"Expressive functional completeness in tense logic","author":"D. M. Gabbay","year":"1981","unstructured":"Gabbay, D. M. ?Expressive functional completeness in tense logic?, in [15], pp. 91?117."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","volume":"1","author":"D. M. Gabbay","year":"1990","unstructured":"Gabbay, D. M. and Hodkinson, I. M. ?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":"CR7","unstructured":"Gabbay, D. M., Hodkinson, I. M. and Reynolds, M. A. ?Temporal expressive completeness in the presence of gaps?, inProceedings ASL European Meeting, 1990, Helsinki, vol. 1 of Lecture Notes in Logic, Springer-Verlag 1991."},{"key":"CR8","volume-title":"Albert Einstein: Philosopher-Scientist","author":"K. G\ufffddel","year":"1970","unstructured":"G\ufffddel, K. ?A remark about the relationship between relativity theory and idealistic philosophy?, inAlbert Einstein: Philosopher-Scientist, Schilpp, P. A. (ed.) 3rd edition, Cambridge University Press, London, 1970.","edition":"3rd edition"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L. Henkin","year":"1949","unstructured":"Henkin, L. ?The completeness of the first-order functional calculus?,J. Symbolic Logic 14 (1949), pp. 159?166.","journal-title":"J. Symbolic Logic"},{"key":"CR10","unstructured":"Hodkinson, I. M., ?Finite H-dimension does not imply expressive completeness?, to appear inJ. Philosophical Logic."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1090\/S0002-9947-1924-1501278-0","volume":"26","author":"E. V. Huntington","year":"1924","unstructured":"Huntington, E. V. ?A new set of postulates for betweenness, with proof of complete independence?,Trans. Amer. Math. Soc. 26 (1924), pp. 257?282.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR12","unstructured":"Jaspers, K.General Psychopathology, translated from the German 1946 edition by Hoenis, J. and Hamilton, M. W., Manchester University Press, 1963."},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-08237-7","volume-title":"Oriental Philosophies","author":"J. M. Koller","year":"1985","unstructured":"Koller, J. M.Oriental Philosophies, Charles Scribe's Sons, New York, 1985."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1090\/S0002-9947-1984-0743728-1","volume":"284","author":"A. H. Lachlan","year":"1984","unstructured":"Lachlan, A. H. ?Countable homogeneous tournaments?,Trans. Amer. Math. Soc. 284 (1984), pp. 431?461.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR15","volume-title":"Aspects of Philosophical Logic","year":"1981","unstructured":"Monnich, U. (ed.),Aspects of Philosophical Logic, Reidel, Dordrecht, 1981."},{"key":"CR16","volume-title":"The Structure of Time","author":"W. H. Newton-Smith","year":"1980","unstructured":"Newton-Smith, W. H.The Structure of Time, Routledge and Kegan Paul, London, 1980."},{"key":"CR17","unstructured":"Nietzsche, F.Thus Spoke Zarathustra, Part 3 (1884), e.g. inWerke in drei B\ufffdnden, herausgegeben von Karl Schlechta, Munich, 3rd edn, 1965."},{"key":"CR18","volume-title":"Time and Modality","author":"A. N. Prior","year":"1957","unstructured":"Prior, A. N.Time and Modality, Clarendon Press, Oxford, 1957."},{"key":"CR19","first-page":"1","volume":"141","author":"M. O. Rabin","year":"1969","unstructured":"Rabin, M. O. ?Decidability of second order theories and automata on infinite trees?,Trans. Amer. Math. Soc. 141 (1969), pp. 1?35.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/BF00370112","volume":"51","author":"M. Reynolds","year":"1992","unstructured":"Reynolds, M. ?An axiomatization for until and since over the reals without the IRR rule?,Studia Logica 51 (1992), pp. 165?194.","journal-title":"Studia Logica"},{"key":"CR21","first-page":"279","volume-title":"Colloquium on Modal Logic 1991","author":"Y. Venema","year":"1991","unstructured":"Y. Venema, ?Completeness via Completeness: Since and Until?, in:Colloquium on Modal Logic 1991, ed. M. de Rijke, ITLI-Network Publication, Dutch Network for Lang., Logic and Information, Amsterdam (1991), pp. 279?285."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01050343.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01050343\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01050343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T14:08:04Z","timestamp":1586095684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01050343"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["BF01050343"],"URL":"https:\/\/doi.org\/10.1007\/bf01050343","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}