{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:21Z","timestamp":1725518901608},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878025"},{"type":"electronic","value":"9783540878032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87803-2_7","type":"book-chapter","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T06:35:16Z","timestamp":1222151716000},"page":"62-75","source":"Crossref","is-referenced-by-count":5,"title":["Optimal Tableaux for Right Propositional Neighborhood Logic over 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":[{"issue":"2","key":"7_CR1","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"},{"key":"7_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-73099-6_8","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"D. Bresolin","year":"2007","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sala, P.: Tableau systems for logics of subinterval structures over dense orderings. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol.\u00a04548, pp. 73\u201389. Springer, Heidelberg (2007)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-72734-7_7","volume-title":"Logical Foundations of Computer Science","author":"D. Bresolin","year":"2007","unstructured":"Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol.\u00a04514, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"7_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)"},{"issue":"1-3","key":"7_CR5","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":"7_CR6","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":"3","key":"7_CR7","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":"7_CR8","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J.Y. Halpern","year":"1991","unstructured":"Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM\u00a038(4), 935\u2013962 (1991)","journal-title":"Journal of the ACM"},{"unstructured":"Moszkowski, B.: Reasoning about digital circuits. Tech. Rep. 83-970, Dept. of Computer Science, Stanford University, Stanford, CA (1983)","key":"7_CR9"},{"issue":"2","key":"7_CR10","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":"4","key":"7_CR11","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","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87803-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:50:01Z","timestamp":1619509801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87803-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878025","9783540878032"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87803-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}