{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:50Z","timestamp":1761611150042},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"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,10]]},"DOI":"10.1007\/bf01049409","type":"journal-article","created":{"date-parts":[[2005,1,28]],"date-time":"2005-01-28T17:30:56Z","timestamp":1106933456000},"page":"535-573","source":"Crossref","is-referenced-by-count":3,"title":["Finite H-dimension does not imply expressive completeness"],"prefix":"10.1007","volume":"23","author":[{"given":"Ian","family":"Hodkinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0019-9958(85)80059-0","volume":"66","author":"A. Amir","year":"1985","unstructured":"A. Amir,Separation in Nonlinear Time Models, Information and Control66 (1985), 177?203.","journal-title":"Information and Control"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/0890-5401(87)90051-4","volume":"72","author":"A. Amir","year":"1987","unstructured":"A. Amir, D. M. Gabbay,Preservation of Expressive Completeness in Temporal Models, Information and Computation72 (1987), 66?83.","journal-title":"Information and Computation"},{"key":"CR3","unstructured":"J. van Benthem,Temporal logic, in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume4, ed. D. M. Gabbay, C. J. Hogger, J. A. Robinson, Oxford University Press, to appear."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"P. J. Cameron,Oligomprphic Permutation Groups, London Mathematical Society Lecture Notes 152, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511549809"},{"key":"CR5","unstructured":"C. C. Chang, H. J. Keisler,Model theory, North Holland, 1990."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-94-009-8384-7_4","volume-title":"Aspects of Philosophical Logic","author":"D. M. Gabbay","year":"1981","unstructured":"D. M. Gabbay,Expressive functional completeness in tense logic, in: Aspects of Philosophical Logic, ed. U. Monnich, Reidel, Dordrecht, 1981, 91?117."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay,The declarative past and imperative future, in proceedings, Colloquium on Temporal Logic and Specification, ed. B. Banieqbalet al., Springer Lecture Notes in Computer Science 398, 1989.","DOI":"10.1007\/3-540-51803-7_36"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay, I. M. Hodkinson, M. A. Reynolds,Temporal expressive completeness in the presence of gaps, Proceedings of 1990 ASL conference, Helsinki, Lecture Notes in Logic 2, Springer-Verlag, 1993, 89?121.","DOI":"10.1017\/9781316718254.009"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay, I. M. Hodkinson, M. A. Reynolds,Temporal logic, Volume 1, Oxford University Press, 1994.","DOI":"10.1007\/BFb0013976"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay, A. Pnueli, S. Shelah, 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":"Ian Hodkinson, Andr\u00e1s Simon,The k-variable property is stronger than H-dimension k, preprint, 1992."},{"key":"CR12","unstructured":"N. Immerman, D. Kozen,Definability with bounded number of bound variables, Proceedings IEEE 1987, 236?244."},{"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","unstructured":"J. A. Makowsky,Model theory and computer science ? an Appetizer, in Handbook of Logic in Computer Science, Volume 1, ed. S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, Oxford University Press, 1992.","DOI":"10.1093\/oso\/9780198537359.003.0006"},{"key":"CR15","volume-title":"Time and Modality","author":"A. N. Prior","year":"1957","unstructured":"A. N. Prior,Time and Modality, Clarendon Press, Oxford, 1957."},{"key":"CR16","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. N. Prior","year":"1967","unstructured":"A. N. Prior,Past, Present and Future, Clarendon Press, Oxford, 1967."},{"key":"CR17","volume-title":"A hierarchy of domains for real-time distributed computing","author":"G. M. Reed","year":"1989","unstructured":"G. M. Reed,A hierarchy of domains for real-time distributed computing, Oxford University Computing Laboratory, Oxford OX1 3QD, preprint, 1989."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01050343","volume":"23","author":"M. A. Reynolds","year":"1994","unstructured":"M. A. Reynolds,Axiomatisation and Decidability of F and P in Cyclical Time, J. Philosophical Logic23 (1994), 197?224.","journal-title":"J. Philosophical Logic"},{"key":"CR19","unstructured":"M. A. Reynolds,Separation and H-dimension, GLC technical report, Imperial College."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1080\/11663081.1992.10510780","volume":"2","author":"B-H Schlingloff","year":"1992","unstructured":"B-H Schlingloff,Expressive completeness of temporal logic over trees, J. Appl. Non-Classical Logics2 (1992), 157?180.","journal-title":"J. Appl. Non-Classical Logics"},{"key":"CR21","volume-title":"Functional completeness over the rationals","author":"J. Stavi","year":"1979","unstructured":"J. Stavi,Functional completeness over the rationals, manuscript, Bar-Ilan University, Ramat-Gan, Israel, 1979."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Y. Venema,Expressiveness and completeness of an interval tense logic, Notre Dame J. Formal Logic31 (1990), 529?547.","journal-title":"Notre Dame J. Formal Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01049409.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01049409\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01049409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,21]],"date-time":"2024-01-21T10:00:47Z","timestamp":1705831247000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01049409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":22,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["BF01049409"],"URL":"https:\/\/doi.org\/10.1007\/bf01049409","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}