{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:28Z","timestamp":1740123088431,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T00:00:00Z","timestamp":1600300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T00:00:00Z","timestamp":1600300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s11225-020-09923-0","type":"journal-article","created":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T14:07:10Z","timestamp":1600351630000},"page":"701-723","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Relational Representation Theorems for Extended Contact Algebras"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3569-9160","authenticated-orcid":false,"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatyana","family":"Ivanova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,17]]},"reference":[{"key":"9923_CR1","first-page":"29","volume":"81","author":"P Balbiani","year":"2007","unstructured":"Balbiani, P., T. Tinchev, and D. Vakarelov, Modal logics for region-based theories of space, Fundamenta Informatic\u00e6 81:29\u201382, 2007.","journal-title":"Fundamenta Informatic\u00e6"},{"key":"9923_CR2","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B Clarke","year":"1981","unstructured":"Clarke, B., A calculus of individuals based on \u2018connection\u2019, Notre Dame Journal of Formal Logic 22:204\u2013218, 1981.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9923_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B Clark","year":"1985","unstructured":"Clark, B., Individuals and points, Notre Dame Journal of Formal Logic 26:61\u201375, 1985.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9923_CR4","doi-asserted-by":"crossref","unstructured":"Cohn, A., and J. Renz, Qualitative spatial representation and reasoning, In F. van Harmelen, V. Lifschitz, and B. Porter, (eds.), Handbook of Knowledge Representation, Elsevier, 2008, pp. 551\u2013596.","DOI":"10.1016\/S1574-6526(07)03013-1"},{"key":"9923_CR5","first-page":"209","volume":"74","author":"G Dimov","year":"2006","unstructured":"Dimov, G., and D. Vakarelov, Contact algebras and region-based theory of space: a proximity approach \u2013 I, Fundamenta Informatic\u00e6 74:209\u2013249, 2006.","journal-title":"Fundamenta Informatic\u00e6"},{"key":"9923_CR6","first-page":"251","volume":"74","author":"G Dimov","year":"2006","unstructured":"Dimov, G., and D. Vakarelov, Contact algebras and region-based theory of space: proximity approach \u2013 II, Fundamenta Informatic\u00e6 74:251\u2013282, 2006.","journal-title":"Fundamenta Informatic\u00e6"},{"key":"9923_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10472-007-9064-3","volume":"49","author":"I D\u00fcntsch","year":"2007","unstructured":"D\u00fcntsch, I., and D. Vakarelov, Region-based theory of discrete spaces: a proximity approach, Annals of Mathematics and Artificial Intelligence 49:5\u201314, 2007.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9923_CR8","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.tcs.2005.06.030","volume":"347","author":"I D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I., and M. Winter, A representation theorem for Boolean contact algebras, Theoretical Computer Science 347:498\u2013512, 2005.","journal-title":"Theoretical Computer Science"},{"key":"9923_CR9","doi-asserted-by":"crossref","unstructured":"Galton, A., The mereotopology of discrete space, In Ch. Freksa, and D. M. Mark, (eds.), Spatial Information Theory, Springer, 1999, pp. 251\u2013266.","DOI":"10.1007\/3-540-48384-5_17"},{"key":"9923_CR10","doi-asserted-by":"crossref","unstructured":"Galton, A., Qualitative Spatial Change, Oxford University Press, 2000.","DOI":"10.1093\/oso\/9780198233978.001.0001"},{"key":"9923_CR11","doi-asserted-by":"crossref","unstructured":"Gerla, G., Pointless geometries, In: F. Buekenhout, (ed.), Handbook of Incidence Geometry, Elsevier, 1995, pp.\u00a01015\u20131031.","DOI":"10.1016\/B978-044488355-1\/50020-7"},{"key":"9923_CR12","doi-asserted-by":"crossref","unstructured":"Givant, S., and P. Halmos, Introduction to Boolean Algebras, Springer, 2009.","DOI":"10.1007\/978-0-387-68436-9_2"},{"key":"9923_CR13","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/BF00485101","volume":"12","author":"A Grzegorczyk","year":"1960","unstructured":"Grzegorczyk, A., Axiomatization of geometry without points, Synthese 12:228\u2013235, 1960.","journal-title":"Synthese"},{"key":"9923_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11225-019-09845-6","volume":"108","author":"T Ivanova","year":"2020","unstructured":"Ivanova, T., Extended contact algebras and internal connectedness, Studia Logica 108:239\u2013254, 2020.","journal-title":"Studia Logica"},{"key":"9923_CR15","doi-asserted-by":"publisher","unstructured":"Kontchakov, R., Y. Nenov, I. Pratt-Hartmann, and M. Zakharyaschev, Topological logics with connectedness over Euclidean spaces, ACM Transactions on Computational Logic 14 2013 https:\/\/doi.org\/10.1145\/2480759.2480765.","DOI":"10.1145\/2480759.2480765"},{"key":"9923_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-6(3:7)2010","volume":"6","author":"R Kontchakov","year":"2010","unstructured":"Kontchakov, R., I. Pratt-Hartmann, F. Wolter, and M. Zakharyaschev, Spatial logics with connectedness predicates, Logical Methods in Computer Science 6:1\u201343, 2010.","journal-title":"Logical Methods in Computer Science"},{"key":"9923_CR17","unstructured":"Kontchakov, R., I. Pratt-Hartmann, and M. Zakharyaschev, Interpreting topological logics over Euclidean spaces, In F. Lin, U. Sattler, and M. Truszczynski, (eds.), Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, AAAI Press, 2010, pp. 534\u2013544."},{"key":"9923_CR18","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.artint.2014.07.012","volume":"217","author":"R Kontchakov","year":"2014","unstructured":"Kontchakov, R., I. Pratt-Hartmann, and M. Zakharyaschev, Spatial reasoning with $$RCC8$$ and connectedness constraints in Euclidean spaces, Artificial Intelligence 217:43\u201375, 2014.","journal-title":"Artificial Intelligence"},{"key":"9923_CR19","doi-asserted-by":"publisher","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T De Laguna","year":"1922","unstructured":"De Laguna, T., Point, line and surface as sets of solids, Journal of Philosophy 19:449\u2013461, 1922.","journal-title":"Journal of Philosophy"},{"key":"9923_CR20","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0004-3702(02)00372-7","volume":"145","author":"S Li","year":"2003","unstructured":"Li, S., and M. Ying, Region Connection Calculus: its model and composition table, Artificial Intelligence 145:121\u2013146, 2003.","journal-title":"Artificial Intelligence"},{"key":"9923_CR21","doi-asserted-by":"crossref","unstructured":"Pratt-Hartmann, I., First-order mereotopology, In M. Aiello, I. Pratt-Hartmann, and J. van Benthem, (eds.), Handbook of Spatial Logics, Springer, 2007, pp. 13\u201397.","DOI":"10.1007\/978-1-4020-5587-4_2"},{"key":"9923_CR22","unstructured":"Randell, D., Z. Cui, and A. Cohn, A spatial logic based on regions and connection, In B. Nebel, Ch. Rich, and W. R. Swartout, (eds.), Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufman, 1992, pp. 165\u2013176."},{"key":"9923_CR23","doi-asserted-by":"crossref","unstructured":"Renz, J., Qualitative Spatial Reasoning with Topological Information, Springer 2002.","DOI":"10.1007\/3-540-70736-0"},{"key":"9923_CR24","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J Renz","year":"1999","unstructured":"Renz, J. and B. Nebel, On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the Region Connection Calculus, Artificial Intelligence 108:69\u2013123, 1999.","journal-title":"Artificial Intelligence"},{"key":"9923_CR25","unstructured":"Tinchev, T., and D. Vakarelov, Logics of space with connectedness predicates: complete axiomatizations, In L. D. Beklemishev, V. Goranko, and V. B. Shehtman: Advances in Modal Logic, College Publications, 2010, pp. 434\u2013453."},{"key":"9923_CR26","unstructured":"Vakarelov, D., Proximity modal logic, In M. Stokhof, and Y. Venema, (eds.), Proceedings of the 11th Amsterdam Colloquium, ILLC\/Department of Philosophy and University of Amsterdam, 1997, pp. 301\u2013308."},{"key":"9923_CR27","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., Region-based theory of space: algebras of regions, representation theory, and logics, In D. Gabbay, S. Goncharov, and M. Zakharyaschev, (eds.), Mathematical Problems from Applied Logic. Logics for the XXIst Century. II, Springer, 2007, pp. 267\u2013348.","DOI":"10.1007\/978-0-387-69245-6_6"},{"key":"9923_CR28","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1080\/11663081.2017.1420590","volume":"27","author":"D Vakarelov","year":"2017","unstructured":"Vakarelov, D., A mereotopology based on sequent algebras, Journal of Applied Non-Classical Logics 27:342\u2013364, 2017.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9923_CR29","unstructured":"De Vries, H., Compact Spaces and Compactifications, Van Gorcum, 1962."},{"key":"9923_CR30","unstructured":"Whitehead, A., Process and Reality, MacMillan, 1929."},{"key":"9923_CR31","unstructured":"Wolter, F., and M. Zakharyaschev, Spatio-temporal representation and reasoning based on RCC-8, In A. G. Cohn, F. Giunchiglia, and B. Selman, (eds.), Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 2000, pp. 3\u201314."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09923-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09923-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09923-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T01:43:29Z","timestamp":1723599809000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09923-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,17]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["9923"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09923-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,9,17]]},"assertion":[{"value":"17 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}