{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:36:38Z","timestamp":1742913398354,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466773"},{"type":"electronic","value":"9783662466780"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46678-0_23","type":"book-chapter","created":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T09:42:21Z","timestamp":1427881341000},"page":"361-374","source":"Crossref","is-referenced-by-count":0,"title":["Three Variables Suffice for Real-Time Logic"],"prefix":"10.1007","author":[{"given":"Timos","family":"Antonopoulos","sequence":"first","affiliation":[]},{"given":"Paul","family":"Hunter","sequence":"additional","affiliation":[]},{"given":"Shahab","family":"Raza","sequence":"additional","affiliation":[]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Dawar, A.: How many first-order variables are needed on finite ordered structures? In: We Will Show Them! Essays in Honour of Dov Gabbay, vol.\u00a01, pp. 489\u2013520. College Publications (2005)"},{"key":"23_CR2","doi-asserted-by":"publisher","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":"Gabbay, D.M.: Expressive functional completeness in tense logic. In: M\u00f6nnich, U. (ed.) Aspects of Philosophical Logic, pp. 91\u2013117. Reidel, Dordrecht (1981)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Pnueli, A., Shelah, S., Stavi, J.: On the temporal basis of fairness. In: POPL, pp. 163\u2013173. ACM Press (1980)","DOI":"10.1145\/567446.567462"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Grohe, M., Schweikardt, N.: The succinctness of first-order logic on linear orders. Logical Methods in Computer Science\u00a01(1) (2005)","DOI":"10.2168\/LMCS-1(1:6)2005"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2011.11.003","volume":"214","author":"Y. Hirshfeld","year":"2012","unstructured":"Hirshfeld, Y., Rabinovich, A.: Continuous time temporal logic with counting. Inf. Comput.\u00a0214, 1\u20139 (2012)","journal-title":"Inf. Comput."},{"issue":"2","key":"23_CR6","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.ic.2004.12.002","volume":"198","author":"Y. Hirshfeld","year":"2005","unstructured":"Hirshfeld, Y., Rabinovich, A.M.: Timer formulas and decidable metric temporal logic. Inf. Comput.\u00a0198(2), 148\u2013178 (2005)","journal-title":"Inf. Comput."},{"key":"23_CR7","volume-title":"A Shorter Model Theory","author":"W. Hodges","year":"1997","unstructured":"Hodges, W.: A Shorter Model Theory. Cambridge University Press, New York (1997)"},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/A:1017951631048","volume":"26","author":"I. Hodkinson","year":"1997","unstructured":"Hodkinson, I., Simon, A.: The k-variable property is stronger than H-dimension k. Journal of Philosophical Logic\u00a026(1), 81\u2013101 (1997)","journal-title":"Journal of Philosophical Logic"},{"key":"23_CR9","unstructured":"Hunter, P.: When is metric temporal logic expressively complete? In: CSL. LIPIcs, vol.\u00a023, pp. 380\u2013394. Schloss Dagstuhl (2013)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Hunter, P., Ouaknine, J., Worrell, J.: Expressive completeness for metric temporal logic. In: LICS, pp. 349\u2013357. IEEE Computer Society Press (2013)","DOI":"10.1109\/LICS.2013.41"},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/0022-0000(82)90011-3","volume":"25","author":"N. Immerman","year":"1982","unstructured":"Immerman, N.: Upper and lower bounds for first order expressibility. J. Comput. Syst. Sci.\u00a025(1), 76\u201398 (1982)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"23_CR12","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0890-5401(89)90055-2","volume":"83","author":"N. Immerman","year":"1989","unstructured":"Immerman, N., Kozen, D.: Definability with bounded number of bound variables. Inf. Comput.\u00a083(2), 121\u2013139 (1989)","journal-title":"Inf. Comput."},{"key":"23_CR13","unstructured":"Kamp, H.: Tense Logic and the Theory of Linear Order. PhD thesis, University of California (1968)"},{"issue":"3","key":"23_CR14","doi-asserted-by":"publisher","first-page":"641","DOI":"10.2307\/2273594","volume":"47","author":"B. Poizat","year":"1982","unstructured":"Poizat, B.: Deux ou trois choses que je sais de L\n                    \n                      n\n                    . J. Symb. Log.\u00a047(3), 641\u2013658 (1982)","journal-title":"J. Symb. Log."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Rossman, B.: On the constant-depth complexity of k-clique. In: STOC, pp. 721\u2013730. ACM (2008)","DOI":"10.1145\/1374376.1374480"},{"issue":"4","key":"23_CR16","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Y. Venema","year":"1990","unstructured":"Venema, Y.: Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic\u00a031(4), 529\u2013547 (1990)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46678-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:36:10Z","timestamp":1559140570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46678-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466773","9783662466780"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46678-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}