{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:55Z","timestamp":1759032415887},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_22","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"259-270","source":"Crossref","is-referenced-by-count":11,"title":["Decidability of Interval Temporal Logics over Split-Frames via Granularity"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Montanari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Vitacolonna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"22_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:832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"22_CR3","first-page":"108","volume":"1397","author":"H. Bowman","year":"1998","unstructured":"H. Bowman and S. J. Thompson. A tableaux method for interval temporal logic with projection. Lecture Notes in Artificial Intelligence, 1397:108\u2013123, 1998.","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1007\/3-540-49213-5_23","volume-title":"An Adequate First Order Interval Logic","author":"Z. Chaochen","year":"1998","unstructured":"Z. Chaochen and M. R. Hansen. An Adequate First Order Interval Logic. Lecture Notes in Computer Science, 1536:584\u2013608, 1998."},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0036915","volume-title":"A Hardware Semantics Based on Temporal Intervals","author":"J. Y. Halpern","year":"1983","unstructured":"J. Y. Halpern, Z. Manna, and B. Moszkowski. A Hardware Semantics Based on Temporal Intervals. Lecture Notes in Computer Science, 154:278\u2013291, 1983."},{"issue":"4","key":"22_CR6","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":"1","key":"22_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/jigpal\/7.1.79","volume":"7","author":"A. Montanari","year":"1999","unstructured":"A. Montanari, A. Peron, and A. Policriti. Decidable theories of \u03c9-layered metric temporal structures. Logic Journal of the IGPL, 7(1):79\u2013102, 1999.","journal-title":"Logic Journal of the IGPL"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1305\/ndjfl\/1040046089","volume":"37","author":"A. Montanari","year":"1996","unstructured":"A. Montanari and A. Policriti. Decidability results for metric and layered temporal logics. Notre Dame Journal of Formal Logic, 37:260\u2013282, 1996.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"A. Montanari, G. Sciavicco, and N. Vitacolonna. Decidability of Interval Temporal Logics over Split-Frames via Granularity. Research Report 01\/02, Department of Mathematics and Computer Science, University of Udine, February 2002.","DOI":"10.1007\/3-540-45757-7_22"},{"key":"22_CR10","unstructured":"A. Montanari. Metric and Layered Temporal Logic for Time Granularity. PhD thesis, ILLC, University of Amsterdam, 1996."},{"key":"22_CR11","unstructured":"B. C. Moszkowski. Reasoning about digital circuits. PhD thesis, Stanford University, June 1983."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"J. van Benthem. The Logic of Time. Kluwer Academic Publisher, 2nd ed., 1991.","DOI":"10.1007\/978-94-015-7947-6"},{"issue":"4","key":"22_CR13","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"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:05Z","timestamp":1556921285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}