{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:38Z","timestamp":1759638278979},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2013,3,9]],"date-time":"2013-03-09T00:00:00Z","timestamp":1362787200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1007\/s10472-013-9337-y","type":"journal-article","created":{"date-parts":[[2013,3,8]],"date-time":"2013-03-08T12:38:54Z","timestamp":1362746334000},"page":"11-39","source":"Crossref","is-referenced-by-count":12,"title":["The light side of interval temporal logic: the Bernays-Sch\u00f6nfinkel fragment of CDT"],"prefix":"10.1007","volume":"71","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Della Monica","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,9]]},"reference":[{"issue":"11","key":"9337_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J Allen","year":"1983","unstructured":"Allen, J.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"issue":"5","key":"9337_CR2","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1093\/jigpal\/3.5.685","volume":"3","author":"H Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka, H., van Benthem, J., N\u00e9meti, I.: Back and forth between modal logic and classical logic. Log. J. IGPL 3(5), 685\u2013720 (1995)","journal-title":"Log. J. IGPL"},{"key":"9337_CR3","unstructured":"Benthem, J.V., Thomason, S.K.: Dynamic bits and pieces. Report LP-97-01, ILLC, University of Amsterdam (1997)"},{"key":"9337_CR4","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Springer (1999)"},{"key":"9337_CR5","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Decidable and undecidable fragments of Halpern and Shoham\u2019s interval temporal logic: towards a complete classification. In: Proc. of LPAR\u201908. LNCS, vol. 5330, pp.\u00a0590\u2013604. Springer (2008)","DOI":"10.1007\/978-3-540-89439-1_41"},{"key":"9337_CR6","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Undecidability of interval temporal logics with the overlap modality. In: Proc. of TIME\u201909, pp. 88\u201395. IEEE Comp. Society (2009)","DOI":"10.1109\/TIME.2009.24"},{"key":"9337_CR7","author":"D Bresolin","year":"2012","unstructured":"Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Metric propositional neighborhood logics. J. Soft. Syst. Mod. (2012). doi: 10.1007\/s10270-011-0195-y","journal-title":"J. Soft. Syst. Mod."},{"issue":"3","key":"9337_CR8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/j.apal.2009.07.003","volume":"161","author":"D Bresolin","year":"2009","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Logic 161(3), 289\u2013304 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9337_CR9","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari, A., Sala, P., Sciavicco, G.: Optimal tableaux for right propositional neighborhood logic over linear orders. In: Proc. of JELIA\u201908. LNAI, vol. 5293, pp. 62\u201375. Springer (2008)","DOI":"10.1007\/978-3-540-87803-2_7"},{"key":"9337_CR10","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari, A., Sala, P., Sciavicco, G.: What\u2019s decidable about Halpern and Shoham\u2019s interval logic? The maximal fragment $\\mathsf{AB \\overline{BL}}$ . In: Proc. of LICS\u201911, pp. 387\u2013396. IEEE Comp. Society Press (2011)","DOI":"10.1109\/LICS.2011.35"},{"key":"9337_CR11","unstructured":"Della\u00a0Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Expressiveness of the interval logics of allen\u2019s relations on the class of all linear orders: complete classification. In: Proc. of IJCAI\u201911, pp. 845\u2013850 (2011)"},{"issue":"2","key":"9337_CR12","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1006\/inco.2001.2953","volume":"179","author":"K Etessami","year":"2002","unstructured":"Etessami, K., Vardi, M.Y., Wilke, T.: First-order logic with two variables and unary temporal logic. Inf. Comput. 179(2), 279\u2013295 (2002)","journal-title":"Inf. Comput."},{"key":"9337_CR13","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press (1994)","DOI":"10.1007\/BFb0013976"},{"key":"9337_CR14","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proc. of POPL\u201980, pp. 163\u2013173. ACM Press (1980)","DOI":"10.1145\/567446.567462"},{"issue":"3","key":"9337_CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/j.jal.2005.06.012","volume":"4","author":"V Goranko","year":"2006","unstructured":"Goranko, V., Montanari, A., Sala, P., Sciavicco, G.: A general tableau method for propositional interval temporal logics: theory and implementation. Journal of Applied Logic 4(3), 305\u2013330 (2006)","journal-title":"Journal of Applied Logic"},{"issue":"9","key":"9337_CR16","first-page":"1137","volume":"9","author":"V Goranko","year":"2003","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. J. Univers. Comput. Sci. 9(9), 1137\u20131167 (2003)","journal-title":"J. Univers. Comput. Sci."},{"issue":"1\u20132","key":"9337_CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.14.9-54","volume":"14","author":"V Goranko","year":"2004","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. Applied Non-Classical Logics 14(1\u20132), 9\u201354 (2004)","journal-title":"Applied Non-Classical Logics"},{"key":"9337_CR18","unstructured":"Halpern, J., Shoham, Y.: A propositional modal logic of time intervals (short version). In: Proc. of LICS\u201986, pp. 279\u2013292. IEEE Comp. Society (1986)"},{"key":"9337_CR19","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"JY Halpern","year":"1991","unstructured":"Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. J. ACM 38, 935\u2013962 (1991)","journal-title":"J. ACM"},{"key":"9337_CR20","doi-asserted-by":"crossref","unstructured":"Hodkinson, I., Montanari, A., Sciavicco, G.: Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. In: Proc. of CSL\u201908. LNCS, vol. 5213, pp. 308\u2013322. Springer (2008)","DOI":"10.1007\/978-3-540-87531-4_23"},{"issue":"2","key":"9337_CR21","doi-asserted-by":"crossref","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. 83(2), 121\u2013139 (1989)","journal-title":"Inf. Comput."},{"key":"9337_CR22","doi-asserted-by":"crossref","unstructured":"Kamp, H.: Events, instants and temporal reference. In: Semantics from Different Points of View, pp. 27\u201354. Springer (1979)","DOI":"10.1007\/978-3-642-67458-7_24"},{"key":"9337_CR23","doi-asserted-by":"crossref","unstructured":"Marcinkowski, J., Michaliszyn, J.: The ultimate undecidability result for the Halpern-Shoham logic. In: Proc. of LICS\u201911, pp. 377\u2013386. IEEE Comp. Society Press (2011)","DOI":"10.1109\/LICS.2011.21"},{"key":"9337_CR24","doi-asserted-by":"crossref","unstructured":"Marcinkowski, J., Michaliszyn, J., Kieronski, E.: B and D are enough to make the Halpern-Shoham logic undecidable. In: Proc. of ICALP\u201910\u2014Part II. LNCS, vol. 6199, pp.\u00a0357\u2013368. Springer (2010)","DOI":"10.1007\/978-3-642-14162-1_30"},{"issue":"4","key":"9337_CR25","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1093\/logcom\/12.4.641","volume":"12","author":"A Montanari","year":"2002","unstructured":"Montanari, A., Peron, A., Policriti, A.: Extending Kamp\u2019s theorem to model time granularity. J. Log. Comput. 12(4), 641\u2013678 (2002)","journal-title":"J. Log. Comput."},{"key":"9337_CR26","doi-asserted-by":"crossref","unstructured":"Montanari, A., Puppis, G., Sala, P.: A decidable spatial logic with cone-shaped cardinal directions. In: Proc. of CSL\u201909. LNCS, vol. 5771, pp. 394\u2013408. Springer (2009)","DOI":"10.1007\/978-3-642-04027-6_29"},{"key":"9337_CR27","doi-asserted-by":"crossref","unstructured":"Montanari, A., Puppis, G., Sala, P.: A Decidable Spatial Logic with Cone-Shape Cardinal Directions. Research Report 3, Dipartimento di Matematica ed Informatica, Universit\u00e0 di Udine (2010)","DOI":"10.1007\/978-3-642-04027-6_29"},{"key":"9337_CR28","doi-asserted-by":"crossref","unstructured":"Montanari, A., Puppis, G., Sala, P.: Maximal decidable fragments of Halpern and Shoham\u2019s modal logic of intervals. In: Proc. of ICALP\u201910\u2014Part II. LNCS, vol. 6199, pp.\u00a0345\u2013356. Springer (2010)","DOI":"10.1007\/978-3-642-14162-1_29"},{"key":"9337_CR29","unstructured":"Montanari, A., Puppis, G., Sala, P., Sciavicco, G.: Decidability of the interval temporal logic $AB\\bar{B}$ on natural numbers. In: Proc. of STACS\u201910, pp.\u00a0597\u2013608 (2010)"},{"issue":"2","key":"9337_CR30","doi-asserted-by":"crossref","first-page":"685","DOI":"10.2307\/2695037","volume":"66","author":"M Otto","year":"2001","unstructured":"Otto, M.: Two variable first-order logic over ordered domains. J. Symb. Log. 66(2), 685\u2013702 (2001)","journal-title":"J. Symb. Log."},{"issue":"1\u20133","key":"9337_CR31","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.apal.2004.01.003","volume":"128","author":"W Szwast","year":"2004","unstructured":"Szwast, W., Tendera, L.: The guarded fragment with transitive guards. Ann. Pure Appl. Logic 128(1\u20133), 227\u2013276 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"9337_CR32","doi-asserted-by":"crossref","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 J. Form. Log. 31(4), 529\u2013547 (1990)","journal-title":"Notre Dame J. Form. Log."},{"issue":"4","key":"9337_CR33","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Y Venema","year":"1991","unstructured":"Venema, Y.: A modal logic for chopping intervals. J. Log. Comput. 1(4), 453\u2013476 (1991)","journal-title":"J. Log. Comput."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9337-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9337-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9337-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T17:24:16Z","timestamp":1562779456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9337-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,9]]},"references-count":33,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["9337"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9337-y","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,9]]}}}