{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:24Z","timestamp":1760202624905},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642221187"},{"type":"electronic","value":"9783642221194"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22119-4_8","type":"book-chapter","created":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T14:21:08Z","timestamp":1308147668000},"page":"73-87","source":"Crossref","is-referenced-by-count":9,"title":["Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders"],"prefix":"10.1007","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Sala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Perspectives of Mathematical Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Perspectives of Mathematical Logic. Springer, Heidelberg (1997)"},{"issue":"2","key":"8_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1093\/logcom\/13.2.195","volume":"13","author":"H. Bowman","year":"2003","unstructured":"Bowman, H., Thompson, S.: A decision procedure and complete axiomatization of finite interval temporal logic with projection. Journal of Logic and Computation\u00a013(2), 195\u2013239 (2003)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","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. Annals of Pure and Applied Logic\u00a0161(3), 289\u2013304 (2009)","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-540-70918-3_47","volume-title":"STACS 2007","author":"D. Bresolin","year":"2007","unstructured":"Bresolin, D., Montanari, A., Sala, P.: An optimal tableau-based decision algorithm for propositional neighborhood logic. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol.\u00a04393, pp. 549\u2013560. Springer, Heidelberg (2007)"},{"key":"8_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-87803-2_7","volume-title":"Logics in Artificial Intelligence","author":"D. Bresolin","year":"2008","unstructured":"Bresolin, D., Montanari, A., Sala, P., Sciavicco, G.: Optimal tableaux for right propositional neighborhood logic over linear orders. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 62\u201375. Springer, Heidelberg (2008)"},{"unstructured":"Bresolin, D., Montanari, A., Sala, P., Sciavicco, G.: Tableau-based decision procedures for Propositional Neighborhood Logic. Technical Report 01, Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Italy (2010)","key":"8_CR6"},{"issue":"1-3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10817-006-9051-0","volume":"38","author":"D. Bresolin","year":"2007","unstructured":"Bresolin, D., Montanari, A., Sciavicco, G.: An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning\u00a038(1-3), 173\u2013199 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/3-540-49213-5_23","volume-title":"Compositionality: The Significant Difference","author":"Z. Chaochen","year":"1998","unstructured":"Chaochen, Z., Hansen, M.R.: An adequate first order interval logic. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 584\u2013608. Springer, Heidelberg (1998)"},{"issue":"9","key":"8_CR9","first-page":"1137","volume":"9","author":"V. Goranko","year":"2003","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. Journal of Universal Computer Science\u00a09(9), 1137\u20131167 (2003)","journal-title":"Journal of Universal Computer Science"},{"issue":"1-2","key":"8_CR10","doi-asserted-by":"publisher","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. Journal of Applied Non-Classical Logics\u00a014(1-2), 9\u201354 (2004)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.jal.2005.06.012","volume":"4","author":"V. Goranko","year":"2006","unstructured":"Goranko, V., Montanari, A., Sciavicco, G., Sala, P.: A general tableau method for propositional interval temporal logics: theory and implementation. Journal of Applied Logic\u00a04(3), 305\u2013330 (2006)","journal-title":"Journal of Applied Logic"},{"issue":"4","key":"8_CR12","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J. Halpern","year":"1991","unstructured":"Halpern, J., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM\u00a038(4), 935\u2013962 (1991)","journal-title":"Journal of the ACM"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-89982-2_4","volume-title":"Logic Programming","author":"A. Montanari","year":"2008","unstructured":"Montanari, A.: Back to interval temporal logics. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 11\u201313. Springer, Heidelberg (2008)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-14162-1_29","volume-title":"Automata, Languages and Programming","author":"A. Montanari","year":"2010","unstructured":"Montanari, A., Puppis, G., Sala, P.: Maximal decidable fragments of halpern and shoham\u2019s modal logic of intervals. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol.\u00a06199, pp. 345\u2013356. Springer, Heidelberg (2010)"},{"unstructured":"Moszkowski, B.: Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University, Stanford, CA (1983)","key":"8_CR15"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","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. Journal of Symbolic Logic\u00a066(2), 685\u2013702 (2001)","journal-title":"Journal of Symbolic Logic"},{"issue":"1-2","key":"8_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2005.04.003","volume":"166","author":"I. Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann, I.: Temporal prepositions and their logic. Artificial Intelligence\u00a0166(1-2), 1\u201336 (2005)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","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. Journal of Logic and Computation\u00a01(4), 453\u2013476 (1991)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22119-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T22:19:03Z","timestamp":1553811543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22119-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642221187","9783642221194"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22119-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}