乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:41:56Z","timestamp":1728175316395},"reference-count":24,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,5,1]],"date-time":"2016-05-01T00:00:00Z","timestamp":1462060800000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1016\/j.ic.2011.11.003","type":"journal-article","created":{"date-parts":[[2011,12,31]],"date-time":"2011-12-31T04:30:52Z","timestamp":1325305852000},"page":"1-9","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["Continuous time temporal logic with counting"],"prefix":"10.1016","volume":"214","author":[{"given":"Yoram","family":"Hirshfeld","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Rabinovich","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ic.2011.11.003_br0010","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/227595.227602","article-title":"The benefits of relaxing punctuality","volume":"43","author":"Alur","year":"1996","journal-title":"J. ACM"},{"key":"10.1016\/j.ic.2011.11.003_br0020","series-title":"Real Time: Theory and Practice","first-page":"74","article-title":"Logics and models of real time: a survey","volume":"vol. 600","author":"Alur","year":"1992"},{"key":"10.1016\/j.ic.2011.11.003_br0030","doi-asserted-by":"crossref","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","article-title":"An application of games to the completeness problem for formalized theories","volume":"49","author":"Ehrenfeucht","year":"1961","journal-title":"Fund. Math."},{"key":"10.1016\/j.ic.2011.11.003_br0040","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","article-title":"The first-order properties of products of algebraic systems","volume":"47","author":"Feferman","year":"1959","journal-title":"Fund. Math."},{"key":"10.1016\/j.ic.2011.11.003_br0050","series-title":"Temporal Logics, vol. 1","author":"Gabbay","year":"1994"},{"key":"10.1016\/j.ic.2011.11.003_br0060","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay, A. Pnueli, S. Shelah, J. Stavi, On the temporal analysis of fairness, in: Proc. 7th ACM Symposium on Principles of Programming Languages, Las Vegas, 1980, pp. 163\u2013173.","DOI":"10.1145\/567446.567462"},{"key":"10.1016\/j.ic.2011.11.003_br0070","series-title":"Model-Theoretic Logics","first-page":"479","article-title":"Monadic second-order theories","author":"Gurevich","year":"1985"},{"key":"10.1016\/j.ic.2011.11.003_br0080","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, It\u02bcs about time: real-time logics reviewed, in: CONCUR\u02bc98, in: Lecture Notes in Comput. Sci., vol. 1466, 1998, pp. 439\u2013454.","DOI":"10.1007\/BFb0055640"},{"key":"10.1016\/j.ic.2011.11.003_br0090","unstructured":"T.A. Henziger, J. F Raskin, P. Y Schobbens, The regular real time languages, in: ICALP 1998, in: Lecture Notes in Comput. Sci., vol. 1466, 1998, pp. 580\u2013591."},{"key":"10.1016\/j.ic.2011.11.003_br0100","doi-asserted-by":"crossref","unstructured":"Y. Hirshfeld, A. Rabinovich, A framework for decidable metrical logics, in: Proc. 26th ICALP Colloquium, in: Lecture Notes in Comput. Sci., vol. 1644, 1999, pp. 422\u2013432.","DOI":"10.1007\/3-540-48523-6_39"},{"key":"10.1016\/j.ic.2011.11.003_br0110","series-title":"Computer Science Logic","first-page":"172","article-title":"Quantitative temporal logic","volume":"vol. 1683","author":"Hirshfeld","year":"1999"},{"issue":"1","key":"10.1016\/j.ic.2011.11.003_br0120","first-page":"1","article-title":"Logics for real time: Decidability and complexity","volume":"62","author":"Hirshfeld","year":"2004","journal-title":"Fund. Inform."},{"issue":"2","key":"10.1016\/j.ic.2011.11.003_br0130","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.ic.2004.12.002","article-title":"Timer formulas and decidable metric temporal logic","volume":"198","author":"Hirshfeld","year":"2005","journal-title":"Inform. and Comput."},{"issue":"1","key":"10.1016\/j.ic.2011.11.003_br0140","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-3(1:3)2007","article-title":"Expressiveness of metric modalities for continuous time","volume":"3","author":"Hirshfeld","year":"2007","journal-title":"Log. Methods Comput. Sci."},{"issue":"12","key":"10.1016\/j.ic.2011.11.003_br0150","doi-asserted-by":"crossref","first-page":"1425","DOI":"10.1016\/j.ic.2008.08.004","article-title":"Decidable metric logics","volume":"206","author":"Hirshfeld","year":"2008","journal-title":"Inform. and Comput."},{"key":"10.1016\/j.ic.2011.11.003_br0160","unstructured":"H. Kamp, Tense logic and the theory of linear order, PhD thesis, University of California, LA, 1968."},{"key":"10.1016\/j.ic.2011.11.003_br0170","doi-asserted-by":"crossref","unstructured":"R. Koymans, Specifying message passing systems requires extending temporal logic, in: PODC, 1987, pp. 191\u2013204.","DOI":"10.1145\/41840.41856"},{"issue":"1\u20133","key":"10.1016\/j.ic.2011.11.003_br0180","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.apal.2003.11.002","article-title":"Algorithmic aspects of the Feferman\u2013Vaught theorem","volume":"126","author":"Makowsky","year":"2004","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.ic.2011.11.003_br0190","series-title":"FORMATS 2008","first-page":"93","article-title":"Complexity of metric temporal logics with counting and the Pnueli modalities","volume":"vol. 5215","author":"Rabinovich","year":"2008"},{"issue":"22\u201324","key":"10.1016\/j.ic.2011.11.003_br0200","doi-asserted-by":"crossref","first-page":"2331","DOI":"10.1016\/j.tcs.2010.03.017","article-title":"Complexity of metric temporal logics with counting and the Pnueli modalities","volume":"411","author":"Rabinovich","year":"2010","journal-title":"Theory Comput. Sci."},{"key":"10.1016\/j.ic.2011.11.003_br0210","doi-asserted-by":"crossref","unstructured":"J.-F. Raskin, P.-Y. Schobbens, Thomas A. Henzinger, Axioms for real-time logics, in: Proc. of 9th CONCUR, in: Lecture Notes in Comput. Sci., vol. 1466, 1998, pp. 219\u2013236.","DOI":"10.1007\/BFb0055625"},{"key":"10.1016\/j.ic.2011.11.003_br0220","doi-asserted-by":"crossref","first-page":"349","DOI":"10.2307\/1971037","article-title":"The monadic theory of order","volume":"102","author":"Shelah","year":"1975","journal-title":"Ann. of Math."},{"key":"10.1016\/j.ic.2011.11.003_br0230","series-title":"Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht","first-page":"118","article-title":"Ehrenfeucht games, the composition method, and the monadic theory of ordinal words","volume":"vol. 1261","author":"Thomas","year":"1997"},{"key":"10.1016\/j.ic.2011.11.003_br0240","series-title":"Formal Techniques in Real Time and Fault Tolerance Systems","first-page":"694","article-title":"Specifying time state sequences in powerful decidable logics and time automata","volume":"vol. 863","author":"Wilke","year":"1994"}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540111001696?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0890540111001696?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T21:25:32Z","timestamp":1561152332000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0890540111001696"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":24,"alternative-id":["S0890540111001696"],"URL":"https:\/\/doi.org\/10.1016\/j.ic.2011.11.003","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}