{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:27:11Z","timestamp":1761596831610},"reference-count":15,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3485,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Applied Mathematics"],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.1016\/s0166-218x(03)00201-4","type":"journal-article","created":{"date-parts":[[2003,12,6]],"date-time":"2003-12-06T06:46:31Z","timestamp":1070693191000},"page":"87-103","source":"Crossref","is-referenced-by-count":7,"title":["Completeness of temporal logics over infinite intervals"],"prefix":"10.1016","volume":"136","author":[{"given":"Hanpin","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiwen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0166-218X(03)00201-4_BIB1","unstructured":"A. Cerone, Axiomatisation of an interval calculus for theorem proving, Software Verification Research Centre, University of Queensland, Technical Report 00-05, January 2000."},{"key":"10.1016\/S0166-218X(03)00201-4_BIB2","doi-asserted-by":"crossref","unstructured":"B. Dutertre, On first order interval temporal logic, Technical Report CSD-TR-94-3, Royal Holloway University of London, 1995. (A short version appears as: Complete proof systems for first order interval temporal logic, in: Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, San Diego, CA, 1995, pp. 36\u201343.)","DOI":"10.1109\/LICS.1995.523242"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB3","series-title":"PART\u201999: Proceedings of the Sixth Australian Conference on Parallel And Real-Time Systems","first-page":"344","article-title":"Real-time specification and reasoning using maximal intervals","author":"Fidge","year":"1999"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB4","series-title":"Logic for Mathematicians","author":"Hamilton","year":"1988"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB5","first-page":"1","article-title":"Duration calculus","volume":"3","author":"Hansen","year":"1997","journal-title":"Formal Aspects Comput"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB6","series-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Manna","year":"1991"},{"issue":"2","key":"10.1016\/S0166-218X(03)00201-4_BIB7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","article-title":"Temporal logic for multilevel reasoning about hardware","volume":"18","author":"Moszkowski","year":"1985","journal-title":"IEEE Comput"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB8","doi-asserted-by":"crossref","unstructured":"B. Moszkowski, Compositional reasoning about projected and infinite times, in: Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS\u201995), IEEE Computer Society Press, Silver Spring, MD, 1995, pp. 238\u2013245.","DOI":"10.1109\/ICECCS.1995.479336"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB9","series-title":"Programming Concepts and Methods, PROCOMET\u201998","first-page":"366","article-title":"Towards a theory of sequential hybrid programs","author":"Pandya","year":"1998"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB10","doi-asserted-by":"crossref","unstructured":"A. Pnueli, The temporal logic of programs, in: 18th Annual Symposium on Foundation of Computer Science, IEEE Press, New York, 1977, pp. 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB11","series-title":"CONCUR\u201994: Concurrency Theory","first-page":"283","article-title":"Liveness and fairness in duration calculus","volume":"Vol. 836","author":"Skakkebaek","year":"1994"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB12","unstructured":"H.-P. Wang, Q.-W. Xu, Temporal logics over infinite intervals, Technical Report No. 158, UNU\/IIST, Macau, 1999."},{"key":"10.1016\/S0166-218X(03)00201-4_BIB13","series-title":"International Symposium, Compositionality\u2014The Significant Difference","article-title":"Compositional reasoning using assumption-commitment paradigm","author":"Xu","year":"1998"},{"key":"10.1016\/S0166-218X(03)00201-4_BIB14","unstructured":"Zhou Chaochen, Dang Van Hung, Li Xiaoshan, A duration calculus with infinite intervals, UNU\/IIST Report No. 40, 1993."},{"issue":"5","key":"10.1016\/S0166-218X(03)00201-4_BIB15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","article-title":"A calculus of durations","volume":"40","author":"Chaochen","year":"1991","journal-title":"Inform. Process. Lett"}],"container-title":["Discrete Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166218X03002014?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166218X03002014?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T06:28:42Z","timestamp":1550298522000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0166218X03002014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,1]]}},"alternative-id":["S0166218X03002014"],"URL":"https:\/\/doi.org\/10.1016\/s0166-218x(03)00201-4","relation":{},"ISSN":["0166-218X"],"issn-type":[{"value":"0166-218X","type":"print"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}