{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:37:22Z","timestamp":1737610642346,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665366"},{"type":"electronic","value":"9783540481683"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48168-0_12","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T11:30:26Z","timestamp":1196508626000},"page":"157-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Signed Interval Logic"],"prefix":"10.1007","author":[{"given":"Thomas Marthedal","family":"Rasmussen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"issue":"11","key":"12_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26(11):832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"B. Dutertre. Complete Proof Systems for First Order Interval Temporal Logic. In LICS\u201995, pages 36\u201343. IEEE Press, 1995.","DOI":"10.1109\/LICS.1995.523242"},{"key":"12_CR3","unstructured":"M. Engel and H. Rischel. Dagstuhl-Seminar Specification Problem-a Duration Calculus Solution. Dept. of Computer Science, Technical University of Denmark-Private Communication, 1994."},{"key":"12_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0036915","volume-title":"ICALP\u201983","author":"J.Y. Halpern","year":"1983","unstructured":"J.Y. Halpern, B. Moszkowski, and Z. Manna. A Hardware Semantics based on Temporal Intervals. In ICALP\u201983, volume 154 of LNCS, pages 278\u2013291. Springer, 1983."},{"issue":"4","key":"12_CR5","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J.Y. Halpern","year":"1991","unstructured":"J.Y. Halpern and Y. Shoham. A Propositional Modal Logic of Time Intervals. Journal of the ACM, 38(4):935\u2013962, 1991.","journal-title":"Journal of the ACM"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. Formal Aspects of Computing, 9(3):283\u2013330, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"12_CR7","unstructured":"G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Routledge, 1968."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"H.R. Lewis. A Logic of Concrete Time Intervals. In LICS\u201990, pages 380\u2013389. IEEE Press, 1990.","DOI":"10.1109\/LICS.1990.113763"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"M. Marx and Y. Venema. Multi-Dimensional Modal Logic, volume 4 of Applied Logic Series. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-94-011-5694-3"},{"key":"12_CR10","unstructured":"E. Mendelson. Introduction to Mathematical Logic. Wadsworth & Brooks\/Cole Advanced Books & Software, 3. edition, 1987."},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"12_CR12","unstructured":"B. Moszkowski. Some Very Compositional Temporal Properties. In Programming Concepts, Methods, and Calculi, volume A-56 of IFIP Transactions, pages 307\u2013326. North Holland, 1994."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(95)00254-5","volume":"166","author":"Y.S. Ramakrishna","year":"1996","unstructured":"Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, and G. Kutty. Interval logics and their decision procedures. Part I: An interval logic. Theoretical Computer Science, 166:1\u201347, 1996.","journal-title":"Theoretical Computer Science"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(95)00254-5","volume":"170","author":"Y.S. Ramakrishna","year":"1996","unstructured":"Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, and G. Kutty. Interval logics and their decision procedures. Part II: A real-time interval logic. Theoretical Computer Science, 170:1\u201346, 1996.","journal-title":"Theoretical Computer Science"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"T.M. Rasmussen. Signed Interval Logic. Master\u2019s thesis, Dept. of Information Technology, Technical University of Denmark, January 1999.","DOI":"10.1007\/3-540-48168-0_12"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"T.M. Rasmussen. Signed Interval Logic on Totally Ordered Domains. Note, Dept. of Information Technology, Technical University of Denmark, June 1999.","DOI":"10.1007\/3-540-48168-0_12"},{"key":"12_CR17","unstructured":"R. Rosner and A. P nueli. A Choppy Logic. In LICS\u201986, pages 306\u2013313. IEEE Press, 1986."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"G. Schmidt and T. Str\u00f6hlein. Relations and Graphs. Springer, 1993.","DOI":"10.1007\/978-3-642-77968-8"},{"issue":"4","key":"12_CR19","doi-asserted-by":"publisher","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 Journal of Formal Logic, 31(4):529\u2013547, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"12_CR20","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Y. Venema","year":"1991","unstructured":"Y. Venema. A Modal Logic for Chopping Intervals. Journal of Logic and Computation, 1(4):453\u2013476, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1007\/3-540-49213-5_23","volume-title":"COMPOS\u201997","author":"Z. Chaochen","year":"1998","unstructured":"Zhou Chaochen and M.R. Hansen. An Adequate First Order Interval Logic. In COMPOS\u201997, volume 1536 of LNCS, pages 584\u2013608. Springer, 1998."},{"issue":"5","key":"12_CR22","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269\u2013276, 1991.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48168-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T03:46:08Z","timestamp":1737603968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48168-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665366","9783540481683"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48168-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}