{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,29]],"date-time":"2026-10-29T07:56:47Z","timestamp":1793260607391,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540727323","type":"print"},{"value":"9783540727347","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72734-7_7","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T09:40:50Z","timestamp":1183023650000},"page":"84-99","source":"Crossref","is-referenced-by-count":13,"title":["On Decidability and Expressiveness of Propositional Interval Neighborhood Logics"],"prefix":"10.1007","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guido","family":"Sciavicco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Perspectives of Mathematical Logic","doi-asserted-by":"crossref","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)"},{"key":"7_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11554554_7","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"D. Bresolin","year":"2005","unstructured":"Bresolin, D., Montanari, A.: A tableau-based decision procedure for right propositional neighborhood logic. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS (LNAI), vol.\u00a03702, pp. 63\u201377. Springer, Heidelberg (2005)"},{"key":"7_CR3","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":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari, A., Sciavicco, G.: An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning (2006)","DOI":"10.1007\/11554554_7"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","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. Information and Computation\u00a0179(2), 279\u2013295 (2002)","journal-title":"Information and Computation"},{"key":"7_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D.M. Gabbay","year":"1994","unstructured":"Gabbay, D.M., Hodkinson, I.M., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, Oxford (1994)"},{"issue":"9","key":"7_CR7","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\u20132","key":"7_CR8","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. J. of Applied Non-Classical Logics\u00a014(1\u20132), 9\u201354 (2004)","journal-title":"J. of Applied Non-Classical Logics"},{"issue":"3","key":"7_CR9","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"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S1570-2464(07)80008-5","volume-title":"Handbook of Modal Logic","author":"V. Goranko","year":"2007","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., et al. (eds.) Handbook of Modal Logic, pp. 249\u2013329. Elsevier, Amsterdam (2007)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P.G., Vardi, M.Y.: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic\u00a03(1), 53\u201369 (1997)","journal-title":"Bulletin of Symbolic Logic"},{"issue":"4","key":"7_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"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","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. Information and Computation\u00a083(2), 121\u2013139 (1989)","journal-title":"Information and Computation"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/978-3-642-67458-7_24","volume-title":"Semantics from different points of view","author":"H. Kamp","year":"1979","unstructured":"Kamp, H.: Events, instants and temporal reference. In: B\u00e4uerle, R., Egli, U., Schwarze, C. (eds.) Semantics from different points of view, pp. 376\u2013417. Walter de Gruyter, Berlin (1979)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-44464-5_21","volume-title":"Advances in Computing Science - ASIAN 2000","author":"K. Lodaya","year":"2000","unstructured":"Lodaya, K.: Sharpening the undecidability of interval temporal logic. In: He, J., Sato, M. (eds.) ASIAN 2000. LNCS, vol.\u00a01961, pp. 290\u2013298. Springer, Heidelberg (2000)"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer, M.: On languages with two variables. Zeitschr. f. math. Logik u. Grundlagen d. Math\u00a021, 135\u2013140 (1975)","journal-title":"Zeitschr. f. math. Logik u. Grundlagen d. Math"},{"key":"7_CR17","unstructured":"Moszkowski, B.: Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University, Stanford, CA (1983)"},{"issue":"2","key":"7_CR18","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"},{"key":"7_CR19","first-page":"377","volume":"27","author":"D. Scott","year":"1962","unstructured":"Scott, D.: A decision method for validity of sentences in two variables. Journal of Symbolic Logic\u00a027, 377 (1962)","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR20","first-page":"437","volume-title":"Advances in Modal Logic","author":"I. Shapirovsky","year":"2003","unstructured":"Shapirovsky, I., Shehtman, V.: Chronological future modality in Minkowski spacetime. In: Balbiani, P., Suzuki, N.Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol.\u00a04, pp. 437\u2013459. King\u2019s College Publications, London (2003)"},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","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 Journal of Formal Logic\u00a031(4), 529\u2013547 (1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"7_CR22","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","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72734-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:04:53Z","timestamp":1605762293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72734-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727323","9783540727347"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72734-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}