{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T23:03:15Z","timestamp":1778540595325,"version":"3.51.4"},"publisher-location":"Dordrecht","reference-count":122,"publisher":"Springer Netherlands","isbn-type":[{"value":"9781402055867","type":"print"},{"value":"9781402055874","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-4020-5587-4_3","type":"book-chapter","created":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T09:19:57Z","timestamp":1188638397000},"page":"99-159","source":"Crossref","is-referenced-by-count":25,"title":["Axioms, Algebras and Topology"],"prefix":"10.1007","author":[{"given":"Brandon","family":"Bennett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivo","family":"D\u00fcntsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","first-page":"3","volume":"1","author":"T. S. Ahmed","year":"2004","unstructured":"Ahmed, T. S. (2004). Tarskian algebraic logic. Journal of Relational Methods in Computer Science, 1:3\u201326.","journal-title":"Journal of Relational Methods in Computer Science"},{"issue":"11","key":"3_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Comm. ACM, 26(11):832\u2013843.","journal-title":"Comm. ACM"},{"key":"3_CR3","volume-title":"Decision problems for equational theories of relation algebras","author":"H. Andr\u00e9ka","year":"1997","unstructured":"Andr\u00e9ka, H., Givant, S., and N\u00e9meti, I. (1997). Decision problems for equational theories of relation algebras. Number 604 in Memoirs of theAmerican Mathematical Society. AMS, Providence."},{"key":"3_CR4","volume-title":"Handbook of Philosophical Logic, volume 2, pages 133\u2013247","author":"H. Andr\u00e9ka","year":"2001","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., and Sain, I. (2001). Algebraic logic. In Gabbay, D. M. and Guenthner, F., editors, Handbook of Philosophical Logic, volume 2, pages 133\u2013247. Kluwer, Dordrecht, 2nd edition.","edition":"2"},{"key":"3_CR5","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R. and Dwinger, P. (1974). Distributive Lattices. University of Missouri Press, Columbia."},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1093\/logcom\/7.1.59","volume":"7","author":"P. Balbiani","year":"1997","unstructured":"Balbiani, P., Fari\u00f1as del Cerro, L., Tinchev, T., and Vakarelov, D. (1997). Modal logics for incidence geometries. J. Logic Comput., 7(1):59\u201378.","journal-title":"J. Logic Comput."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bennett, B. (1994). Spatial reasoning with propositional logics. In Doyle et al., 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50102-0"},{"issue":"1","key":"3_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1093\/jigpal\/4.1.23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"Bennett, B. (1996). Modal logics for qualitative spatial reasoning. Bull. IGPL, 4(1):23\u201345. Available from ftp:\/\/ftp.mpi-sb.mpg.de\/pub\/igpl\/Journal\/V4-1\/index.html.","journal-title":"Bull. IGPL"},{"key":"3_CR9","unstructured":"Bennett, B. (1997). Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, School of Computing, The University of Leeds.Abstract and postscript at http:\/\/www.scs.leeds.ac.uk\/brandon\/thesis.html ."},{"issue":"1\u20132","key":"3_CR10","first-page":"145","volume":"46","author":"B. Bennett","year":"2001","unstructured":"Bennett, B. (2001). A categorical axiomatisation of region-based geometry. Fund. Inform., 46(1\u20132):145\u2013158.","journal-title":"Fund. Inform."},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A. G., Wolter, F., and Zakharyaschev, M. (2002). Multidimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence, 17(3):239\u2013251.","journal-title":"Applied Intelligence"},{"key":"3_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y. (2001). Modal Logic. Cambridge University Press, Cambridge."},{"key":"3_CR13","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference (KR96)","author":"S. Borgo","year":"1996","unstructured":"Borgo, S., Guarino, N., and Masolo, C. (1996). Apointless theory of space based on strong connection and congruence. In Aiello, L. C. and Doyle, J., editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference (KR96). Morgan Kaufmann, San Francisco."},{"key":"3_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"Chellas, B. F. (1980). Modal Logic: An Introduction. Cambridge University Press, Cambridge."},{"key":"3_CR15","first-page":"341","volume":"1","author":"L. Chin","year":"1951","unstructured":"Chin, L. and Tarski, A. (1951). Distributive and modular laws in the arithmetic of relation algebras. University of California Publications in Mathematics, 1:341\u2013384.","journal-title":"University of California Publications in Mathematics"},{"issue":"3","key":"3_CR16","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"23","author":"B. L. Clarke","year":"1981","unstructured":"Clarke, B. L. (1981). A calculus of individuals based on \u2018Connection\u2019. Notre Dame J. Formal Logic, 23(3):204\u2013218.","journal-title":"Notre Dame J. Formal Logic"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B. L. Clarke","year":"1985","unstructured":"Clarke, B. L. (1985). Individuals and points. Notre Dame J. Formal Logic, 26(1):61\u201375.","journal-title":"Notre Dame J. Formal Logic"},{"key":"3_CR18","first-page":"113","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G. (1987). A more expressive formulation of many sorted logic. J. Automat. Reasoning, 3:113\u2013200.","journal-title":"J. Automat. Reasoning"},{"key":"3_CR19","unstructured":"Cohn, A. G. (1993). Modal and non-modal qualitative spatial logics. In Anger, F., Guesgen, H. W., and van Benthem, J., editors, Proceedings of the Workshop on Spatial and Temporal Reasoning at the 13th International Joint Conference on Artificial Intelligence, IJCAI 93, pages 95\u2013100."},{"key":"3_CR20","first-page":"1","volume":"13","author":"A. G. Cohn","year":"1997","unstructured":"Cohn, A. G., Bennett, B., Gooday, J., and Gotts, N. M. (1997). Qualitative spatial representation and reasoning with the region connection calculus. Geoinformatica, 13:1\u201342.","journal-title":"Geoinformatica"},{"key":"3_CR21","volume-title":"Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium","author":"A. G. Cohn","year":"1994","unstructured":"Cohn, A. G., Gooday, J. M., and Bennett, B. (1994). A comparison of structures in spatial and temporal logics. In Casati, R., Smith, B., and White, G., editors, Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium. H\u00f6lder-Pichler-Tempsky, Vienna."},{"key":"3_CR22","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR98))","year":"1998","unstructured":"Cohn, A. G., Schubert, L., and Shapiro, S., editors (1998). Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR98)), San Francisco. Morgan Kaufman."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Davis, E. (2006). The expressivity of quantifying over regions. J. Logic Comput. To appear.","DOI":"10.1093\/logcom\/exl020"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1026401931919","volume":"4","author":"E. Davis","year":"1999","unstructured":"Davis, E., Gotts, N., and Cohn, A. G. (1999). Constraint networks of topological relations and convexity. Constraints, 4(3):241\u2013280.","journal-title":"Constraints"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. de Laguna","year":"1922","unstructured":"de Laguna, T. (1922). Point, line and surface as sets of solids. J. Philos., 19:449\u2013461.","journal-title":"J. Philos."},{"issue":"1","key":"3_CR26","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01058532","volume":"54","author":"M. de Rijke","year":"1995","unstructured":"de Rijke, M. and Venema, Y. (1995). Sahlqvist\u2019s theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica, 54(1):61\u201378.","journal-title":"Studia Logica"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Dimov, G. and Vakarelov, D. (2006). Contact algebras and region-based theory of space; a proximity approach, i\u2013ii. Fundamenta Informaticae. to appear.","DOI":"10.3233\/FUN-2006-742-304"},{"key":"3_CR28","unstructured":"Dornheim, C. (1998). Undecidability of plane polygonal mereotopology. In Cohn et al., 1998, pages 342\u2013353."},{"key":"3_CR29","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94)","year":"1994","unstructured":"Doyle, J. Sandewall, E. and Torasso, P. editors (1994). Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), San Francisco. Morgan Kaufmann."},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s10462-004-5899-8","volume":"23","author":"I. D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I. (2005). Relation algebras and their application in temporal and spatial reasoning. Artificial Intelligence Review, 23:315\u2013357.","journal-title":"Artificial Intelligence Review"},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1004764610651","volume":"29","author":"I. D\u00fcntsch","year":"2000","unstructured":"D\u00fcntsch, I. and Orlowska, E. (2000). A proof system for contact relation algebras. J. Philos. Logic, 29:241\u2013262.","journal-title":"J. Philos. Logic"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1013892110192","volume":"69","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Schmidt, G., and Winter, M. (2001a). A necessary relation algebra for mereotopology. Studia Logica, 69:381\u2013409.","journal-title":"Studia Logica"},{"key":"3_CR33","unstructured":"D\u00fcntsch, I. and Vakarelov, D. (2006). Region-based theory of discrete spaces: A proximity approach. Discrete Appl. Math. To appear."},{"key":"3_CR34","doi-asserted-by":"crossref","first-page":"229","DOI":"10.3233\/FI-1999-39301","volume":"39","author":"I. D\u00fcntsch","year":"1999","unstructured":"D\u00fcntsch, I., Wang, H., and McCloskey, S. (1999). Relation algebras in qualitative spatial reasoning. Fund. Inform., 39:229\u2013248.","journal-title":"Fund. Inform."},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(99)00156-5","volume":"255","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Wang, H., and McCloskey, S. (2001b). Arelation algebraic approach to the Region Connection Calculus. Theoret. Comput. Sci. (B), 255:63\u201383.","journal-title":"Theoret. Comput. Sci. (B)"},{"key":"3_CR36","first-page":"235","volume":"13","author":"I. D\u00fcntsch","year":"2004","unstructured":"D\u00fcntsch, I. and Winter, M. (2004). Construction of Boolean contact algebras. AI Commun., 13:235\u2013246.","journal-title":"AI Commun."},{"key":"3_CR37","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 Winter, M. (2005). Arepresentation theorem for Boolean contact algebras. Theoret. Comput. Sci. (B), 347:498\u2013512.","journal-title":"Theoret. Comput. Sci. (B)"},{"key":"3_CR38","unstructured":"D\u00fcntsch, I. and Winter, M. (2006). Remarks on lattices of contact relations. Research report, Department of Computer Science, Brock University."},{"key":"3_CR39","first-page":"189","volume":"31","author":"V. A. Efremovi\u010d","year":"1952","unstructured":"Efremovi\u010d, V. A. (1952). The geometry of proximity I. Mat Sbornik (New Series), 31:189\u2013200. In Russian.","journal-title":"Mat Sbornik (New Series)"},{"key":"3_CR40","first-page":"143","volume-title":"Proceedings of the Second Symposium on Large Spatial Databases, SSD\u201991 (Zurich, Switzerland)","author":"M. Egenhofer","year":"1991","unstructured":"Egenhofer, M. (1991). Reasoning about binary topological relations. In Gunther, O. and Schek, H. J., editors, Proceedings of the Second Symposium on Large Spatial Databases, SSD\u201991 (Zurich, Switzerland), volume 525 of Lect. Notes Comp. Sci., pages 143\u2013160. Springer Verlag, Heidelberg."},{"issue":"2","key":"3_CR41","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. Egenhofer","year":"1991","unstructured":"Egenhofer, M. and Franzosa, R. (1991). Point\u2013set topological spatial relations. International Journal of Geographic Information Systems, 5(2):161\u2013174.","journal-title":"International Journal of Geographic Information Systems"},{"key":"3_CR42","unstructured":"Egenhofer, M. and Herring, J. (1991). Categorizing binary topological relationships between regions, lines and points in geographic databases. Tech. report, Department of Surveying Engineering, University of Maine."},{"key":"3_CR43","volume-title":"General Topology","author":"Ryszard Engelking","year":"1977","unstructured":"Engelking, Ryszard (1977). General Topology. PWN-Polish Scientific Publishers, Warszawa."},{"key":"3_CR44","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C. Freksa","year":"1992","unstructured":"Freksa, C. (1992). Temporal reasoning based on semi-intervals. Artificial Intelligence, 54:199\u2013227.","journal-title":"Artificial Intelligence"},{"key":"3_CR45","volume-title":"Spatial information theory: Cognitive and computational foundations of geographic information science \u2014 Proceedings of COSIT\u201999","year":"1999","unstructured":"Freksa, C. and Mark, D. M., editors (1999). Spatial information theory: Cognitive and computational foundations of geographic information science \u2014 Proceedings of COSIT\u201999, number 1661 in Lect. Notes Comp. Sci., Heidelberg. Springer Verlag."},{"key":"3_CR46","volume-title":"Many-Dimensional Modal Logics: Theory and Applications, volume 148 of Studies in Logic and the Foundations of Mathematics","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., and Zakharyaschev, M. (2003). Many-Dimensional Modal Logics: Theory and Applications, volume 148 of Studies in Logic and the Foundations of Mathematics. North\u2013Holland, Amsterdam."},{"key":"3_CR47","unstructured":"Galton, A. P. (1994). Multidimensional mereotopology. In Doyle et al., 1994."},{"key":"3_CR48","first-page":"501","volume-title":"Proceedings of the 12th European Conference on Artificial Intelligence","author":"A. P. Galton","year":"1996","unstructured":"Galton, A. P. (1996). Taking dimension seriously in qualitative spatial reasoning. In Wahlster, W., editor, Proceedings of the 12th European Conference on Artificial Intelligence, pages 501\u2013505. Wiley, Chichester."},{"key":"3_CR49","doi-asserted-by":"crossref","unstructured":"Galton, A. P. (1999). The mereotopology of discrete space. In Freksa and Mark, 1999, pages 251\u2013266.","DOI":"10.1007\/3-540-48384-5_17"},{"key":"3_CR50","unstructured":"Givant, S. (2006). The calculus of relations as a foundation for mathematics. J. Automat. Reasoning. To appear."},{"key":"3_CR51","volume-title":"The Structure of Appearance","author":"N. Goodman","year":"1951","unstructured":"Goodman, N. (1951). The Structure of Appearance. Bobbs-Merill (second edition, 1966), Indianapolis."},{"key":"3_CR52","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Goranko, V. and Passy, S. (1992). Using the universal modality: Gains and questions. J. Logic Comput., 2:5\u201330.","journal-title":"J. Logic Comput."},{"key":"3_CR53","unstructured":"Gotts, N. M. (1996). Formalising commonsense topology: The INCH calculus. In Kautz, H. and Selman, B., editors, Proc. of the Fourth International Symposium on Artificial Intelligence and Mathematics, pages 72\u201375."},{"key":"3_CR54","first-page":"901","volume-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95","author":"M. Grigni","year":"1995","unstructured":"Grigni, M., Papadias, D., and Papadimitriou, C. (1995). Topological inference. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, pages 901\u2013907. Morgan Kaufmann, San Francisco."},{"key":"3_CR55","first-page":"1","volume-title":"Formal Theories of the Commonsense World","author":"P. J. Hayes","year":"1985","unstructured":"Hayes, P. J. (1985). The second naive physics manifesto. In Hobbs, J. R. and Moore, B. editors, Formal Theories of the Commonsense World, pages 1\u201336. Ablex Publishing Corp., Norwood."},{"key":"3_CR56","volume-title":"Discriminator\u2013Algebras","author":"W. Heinrich","year":"1978","unstructured":"Heinrich, W. (1978). Discriminator\u2013Algebras, volume 6 of Studien zur Algebra und ihre Anwendungen. Akademie Verlag, Berlin."},{"key":"3_CR57","volume-title":"Cylindric algebras, Part I","author":"L. Henkin","year":"1971","unstructured":"Henkin, L., Monk, J. D., and Tarski, A. (1971). Cylindric algebras, Part I. North\u2013Holland, Amsterdam."},{"key":"3_CR58","volume-title":"Cylindric algebras, Part II","author":"L. Henkin","year":"1985","unstructured":"Henkin, L., Monk, J. D., and Tarski, A. (1985). Cylindric algebras, Part II. North\u2013Holland, Amsterdam."},{"key":"3_CR59","volume-title":"Relation algebras by games, volume 147 of Studies in Logic and the Foundations of Mathematics","author":"R. Hirsch","year":"2002","unstructured":"Hirsch, R. and Hodkinson, I. (2002). Relation algebras by games, volume 147 of Studies in Logic and the Foundations of Mathematics. North\u2013Holland, Amsterdam."},{"key":"3_CR60","volume-title":"An Introduction to Modal Logic","author":"G. E. Hughes","year":"1968","unstructured":"Hughes, G. E. and Cresswell, M. J. (1968). An Introduction to Modal Logic. Methuen, London."},{"key":"3_CR61","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1090\/S0273-0979-1983-15080-2","volume":"8","author":"P. T. Johnstone","year":"1983","unstructured":"Johnstone, P. T. (1983). The point of pointless topology. Bull. Amer. Math. Soc., 8:41\u201353.","journal-title":"Bull. Amer. Math. Soc."},{"key":"3_CR62","first-page":"245","volume-title":"Algebraic Logic","author":"B. J\u00f3nsson","year":"1991","unstructured":"J\u00f3nsson, B. (1991). The theory of binary relations. In Andr\u00e9ka, H., Monk, J. D., and N\u00e9meti, I., editors, Algebraic Logic, volume 54 of Colloquia Mathematica Societatis J\u00e1nos Bolyai, pages 245\u2013292. North Holland, Amsterdam."},{"key":"3_CR63","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-94-017-0697-1_6","volume-title":"Algebras and Orders","author":"B. J\u00f3nsson","year":"1993","unstructured":"J\u00f3nsson, B. (1993). A survey of Boolean algebras with operators. In Rosenberg, I. G. and Sabidussi, G., editors, Algebras and Orders, volume 389 of NATO Adv. Sci. Inst. Ser. C, Math. Phys. Sci., pages 239\u2013286. Kluwer, Dordrecht."},{"key":"3_CR64","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01057646","volume":"53","author":"B. J\u00f3nsson","year":"1994","unstructured":"J\u00f3nsson, B. (1994). On the canonicity of Sahlqvist identities. Studia Logica, 53:473\u2013491.","journal-title":"Studia Logica"},{"key":"3_CR65","first-page":"121","volume-title":"Lattice theory and its applications","author":"B. J\u00f3nsson","year":"1995","unstructured":"J\u00f3nsson, B. (1995). The preservation theorem for canonical extensions of Boolean algebras with operators. In Baker, K.A. and Wille, R., editors, Lattice theory and its applications, pages 121\u2013130. Heldermann, Lemgo."},{"key":"3_CR66","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF01191089","volume":"28","author":"B. J\u00f3nsson","year":"1991","unstructured":"J\u00f3nsson, B., Andr\u00e9ka, H., and N\u00e9meti, I. (1991). Free algebras in discriminator varieties. Algebra Universalis, 28:401\u2013447.","journal-title":"Algebra Universalis"},{"key":"3_CR67","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B. and Tarski, A. (1951). Boolean algebras with operators I. Amer. J. Math., 73:891\u2013939.","journal-title":"Amer. J. Math."},{"key":"3_CR68","volume-title":"General Theory of Boolean Algebras","author":"S. Koppelberg","year":"1989","unstructured":"Koppelberg, S. (1989). General Theory of Boolean Algebras, volume 1 of Handbook of Boolean Algebras. North\u2013Holland, Amsterdam."},{"key":"3_CR69","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0095-8956(91)90091-W","volume":"52","author":"J. Kratochv\u00edl","year":"1991","unstructured":"Kratochv\u00edl, J. (1991). String graphs II: Recognizing string graphs is NP-hard. J. Combin. Theory Ser. B, 52:67\u201378.","journal-title":"J. Combin. Theory Ser. B"},{"key":"3_CR70","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0095-8956(91)90050-T","volume":"53","author":"J. Kratochv\u00edl","year":"1991","unstructured":"Kratochv\u00edl, J. and Matou\u0161ek, J. (1991). String graphs requiring exponential representations. J. Combin. Theory Ser. B, 53:1\u20134.","journal-title":"J. Combin. Theory Ser. B"},{"key":"3_CR71","doi-asserted-by":"publisher","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H. S. Leonard","year":"1940","unstructured":"Leonard, H. S. and Goodman, N. (1940). The calculus of individuals and its uses. J. Symbolic Logic, 5:45\u201355.","journal-title":"J. Symbolic Logic"},{"key":"3_CR72","unstructured":"Le\u015bniewski, S. (1927\u20131931). O podstawach matematyki. Przeglad Filozoficzny, 30\u201334."},{"key":"3_CR73","first-page":"7","volume":"2","author":"S. Le\u015bniewski","year":"1983","unstructured":"Le\u015bniewski, S. (1983). On the foundation of mathematics. Topoi, 2:7\u201352.","journal-title":"Topoi"},{"key":"3_CR74","first-page":"129","volume-title":"S. Le\u015bniewski: Collected Works, 1","author":"S. Le\u015bniewski","year":"1992","unstructured":"Le\u015bniewski, S. (1992). Foundations of the general theory of sets I (1916). In Surma, S. J., Srzednicki, J., Barnett, D. I., and Rickey, F. V., editors, S. Le\u015bniewski: Collected Works, volume 1, pages 129\u2013173. Kluwer, Dordrecht."},{"issue":"3\u20134","key":"3_CR75","first-page":"363","volume":"55","author":"S. Li","year":"2003","unstructured":"Li, S. and Ying, M. (2003a). Extensionality of the RCC8 composition table. Fund. Inform., 55(3\u20134):363\u2013385.","journal-title":"Fund. Inform."},{"issue":"1\u20132","key":"3_CR76","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 Ying, M. (2003b). Region Connection Calculus: Its models and composition table. Artificial Intelligence, 145(1\u20132):121\u2013146.","journal-title":"Artificial Intelligence"},{"key":"3_CR77","first-page":"329","volume":"62","author":"S. Li","year":"2005","unstructured":"Li, S., Ying, M., and Li, Y. (2005). On countable RCC models. Fund. Inform., 62:329\u2013351.","journal-title":"Fund. Inform."},{"key":"3_CR78","doi-asserted-by":"crossref","unstructured":"Lutz, C. and Wolter, F. (2006). Modal logics of topological relations. Logical Methods in Computer Science. To appear.","DOI":"10.2168\/LMCS-2(2:5)2006"},{"key":"3_CR79","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1080\/11663081.1998.10510933","volume":"8","author":"J. X. Madar\u00e1sz","year":"1998","unstructured":"Madar\u00e1sz, J. X. (1998). Interpolation in algebraizable logics; semantics for non-normal multi-modal logic. J. Appl. Non\u2013Classical Logics, 8:67\u2013105.","journal-title":"J. Appl. Non\u2013Classical Logics"},{"key":"3_CR80","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5694-3","volume-title":"Multi-Dimensional Modal Logic. Applied Logic","author":"M. Marx","year":"1997","unstructured":"Marx, M. and Venema, Y. (1997). Multi-Dimensional Modal Logic. Applied Logic. Kluwer, Dordrecht."},{"key":"3_CR81","unstructured":"Masolo, C. and Vieu, L. (1999). Atomicity vs. infinite divisibility of space. In Freksa and Mark, 1999, pages 235\u2013250."},{"key":"3_CR82","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. C. C. McKinsey","year":"1944","unstructured":"McKinsey, J. C. C. and Tarski, A. (1944). The algebra of topology. Ann. of Math., 45:141\u2013191.","journal-title":"Ann. of Math."},{"key":"3_CR83","doi-asserted-by":"crossref","first-page":"35","DOI":"10.12775\/LLP.1998.002","volume":"6","author":"T. Mormann","year":"1998","unstructured":"Mormann, T. (1998). Continuous lattices and Whiteheadian theory of space. Logic Log. Philos., 6:35\u201354.","journal-title":"Logic Log. Philos."},{"key":"3_CR84","volume-title":"Proximity Spaces","author":"S. A. Naimpally","year":"1970","unstructured":"Naimpally, S. A. and Warrack, B. D. (1970). Proximity Spaces. Cambridge University Press, Cambridge."},{"issue":"3\u20134","key":"3_CR85","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BF00370684","volume":"50","author":"I. N\u00e9meti","year":"1991","unstructured":"N\u00e9meti, I. (1991). Algebraizations of quantifier logics: An introductory overview. Studia Logica, 50(3\u20134):485\u2013569. Special issue on Algebraic Logic (eds. W. J. Block and D. Pigozzi).","journal-title":"Studia Logica"},{"key":"3_CR86","unstructured":"Nicod, J. (1924). Geometry in the Sensible World. Doctoral thesis, Sorbonne. English translation in Geometry and Induction, Routledge and Kegan, London, 1969."},{"key":"3_CR87","first-page":"113","volume-title":"Proceedings of the 23rd Annual German Conference on Advances in Artificial Intelligence (KI-99)","author":"W. Nutt","year":"1999","unstructured":"Nutt, W. (1999). On the translation of qualitative spatial reasoning problems into modal logics. In Burgard, W., Christaller, T., and Cremers, A. B., editors, Proceedings of the 23rd Annual German Conference on Advances in Artificial Intelligence (KI-99), volume 1701 of Lect. Notes AI, pages 113\u2013124. Springer Verlag, Heidelberg."},{"key":"3_CR88","first-page":"443","volume-title":"Algebraic Logic","author":"E. Orlowska","year":"1991","unstructured":"Orlowska, E. (1991). Relational interpretation of modal logics. In Andr\u00e9ka, H., Monk, J. D., and N\u00e9meti, I., editors, Algebraic Logic, volume 54 of Colloquia Mathematica Societatis J\u00e1nos Bolyai, pages 443\u2013471. North Holland, Amsterdam."},{"key":"3_CR89","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-017-2798-3_5","volume-title":"Proof theory of modal logic","author":"E. Orlowska","year":"1996","unstructured":"Orlowska, E. (1996). Relational proof systems for modal logics. In Wansing, H., editor, Proof theory of modal logic, pages 55\u201378. Kluwer, Dordrecht."},{"issue":"2","key":"3_CR90","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1039724888","volume":"38","author":"I. Pratt","year":"1997","unstructured":"Pratt, I. and Lemon, O. (1997). Ontologies for plane, polygonal mereotopology. Notre Dame J. Formal Logic, 38(2):225\u2013245.","journal-title":"Notre Dame J. Formal Logic"},{"issue":"6","key":"3_CR91","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1023\/A:1004361501703","volume":"27","author":"I. Pratt","year":"1998","unstructured":"Pratt, I. and Schoop, D. (1998). A complete axiom system for polygonal mereo-topology of the real plane. J. Philos. Logic, 27(6):621\u2013661.","journal-title":"J. Philos. Logic"},{"key":"3_CR92","doi-asserted-by":"publisher","first-page":"822","DOI":"10.2307\/2586573","volume":"65","author":"I. Pratt","year":"2000","unstructured":"Pratt, I. and Schoop, D. (2000). Expressivity in polygonal, plane mereotopology. J. Symbolic Logic, 65:822\u2013838.","journal-title":"J. Symbolic Logic"},{"key":"3_CR93","first-page":"159","volume":"46","author":"I. Pratt-Hartmann","year":"2001","unstructured":"Pratt-Hartmann, I. (2001). Empiricism and rationalism in region-based theories of space. Fund. Inform., 46:159\u2013186.","journal-title":"Fund. Inform."},{"key":"3_CR94","first-page":"786","volume-title":"Proceedings of the 11th International Conference on Automated Deduction (CADE-11)","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cohn, A. G., and Cui, Z. (1992a). Computing transitivity tables: Achallenge for automated theorem provers. In Kapur, D., editor, Proceedings of the 11th International Conference on Automated Deduction (CADE-11), volume 607 of Lect. Notes AI, pages 786\u2013790. Springer Verlag, Heidelberg."},{"key":"3_CR95","first-page":"165","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR92)","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cui, Z., and Cohn, A. G. (1992b). Aspatial logic based on regions and connection. In Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR92), pages 165\u2013176. Morgan Kaufmann, San Francisco."},{"key":"3_CR96","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H. and Sikorski, R. (1963). The Mathematics of Metamathematics, volume 41 of Polska Akademia Nauk. Monografie matematyczne. PWN- Polish Scientific Publishers, Warsaw."},{"key":"3_CR97","unstructured":"Renz, J. (1998). A canonical model of the Region Connection Calculus. In Cohn et al., 1998, pages 330\u2013341."},{"key":"3_CR98","unstructured":"Renz, J. and Nebel, B. (1997). On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the Region Connection Calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, pages 522\u2013527."},{"issue":"1\u20132","key":"3_CR99","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 Nebel, B. (1999). On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Artificial Intelligence, 108(1\u20132):69\u2013123.","journal-title":"Artificial Intelligence"},{"key":"3_CR100","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1017904631349","volume":"26","author":"P. Roeper","year":"1997","unstructured":"Roeper, P. (1997). Region based topology. J. Philos. Logic, 26:251\u2013309.","journal-title":"J. Philos. Logic"},{"key":"3_CR101","first-page":"1418","volume-title":"Proceedings of the 12th National Conference on Artificial Intelligence","author":"R. R\u00f6hrig","year":"1994","unstructured":"R\u00f6hrig, R. (1994). A theory for qualitative spatial reasoning based on order relations. In Proceedings of the 12th National Conference on Artificial Intelligence, volume 2, pages 1418\u20131424. MIT Press, Menlo Park."},{"key":"3_CR102","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K. Segerberg","year":"1973","unstructured":"Segerberg, K. (1973). Two-dimensional modal logic. J. Philos. Logic, 2:77\u201396.","journal-title":"J. Philos. Logic"},{"key":"3_CR103","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1007\/BF00968394","volume":"13","author":"E. V. Shchepin","year":"1972","unstructured":"Shchepin, E. V. (1972). Real-valued functions and spaces close to normal. Siberian Math. J., 13:820\u2013830.","journal-title":"Siberian Math. J."},{"key":"3_CR104","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","volume":"122","author":"J. G. Stell","year":"2000","unstructured":"Stell, J. G. (2000). Boolean connection algebras: A new approach to the Region Connection Calculus. Artificial Intelligence, 122:111\u2013136.","journal-title":"Artificial Intelligence"},{"key":"3_CR105","unstructured":"Tarski, A. (1929). Les fondaments de la g\u00e9om\u00e9trie des corps. Annales de la Soci\u00e9t\u00e9 Polonaise de Math\u00e9matique, pages 29\u201333."},{"key":"3_CR106","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A. (1941). On the calculus of relations. J. Symbolic Logic, 6:73\u201389.","journal-title":"J. Symbolic Logic"},{"key":"3_CR107","unstructured":"Tarski, A. (1956a). Foundations of the geometry of solids (1929). In Woodger, 1956, pages 29\u201333."},{"key":"3_CR108","unstructured":"Tarski, A. (1956b). Some methodological investigations on the definability of concepts. In Woodger, 1956, pages 296\u2013319."},{"key":"3_CR109","first-page":"16","volume-title":"The Axiomatic Method (with special reference to geometry and physics)","author":"A. Tarski","year":"1959","unstructured":"Tarski, A. (1959). What is elementary geometry? In Henkin, L., Suppes, P., and Tarski, A., editors, The Axiomatic Method (with special reference to geometry and physics), pages 16\u201329. North\u2013Holland, Amsterdam."},{"key":"3_CR110","volume-title":"A formalization of set theory without variables, volume 41 of Colloquium Publications","author":"A. Tarski","year":"1987","unstructured":"Tarski, A. and Givant, S. (1987). A formalization of set theory without variables, volume 41 of Colloquium Publications. AMS, Providence."},{"issue":"2","key":"3_CR111","doi-asserted-by":"publisher","first-page":"175","DOI":"10.2307\/421089","volume":"5","author":"A. Tarski","year":"1999","unstructured":"Tarski, A. and Givant, S. (1999). Tarski\u2019s system of geometry. Bull. Symbolic Logic, 5(2):175\u2013214.","journal-title":"Bull. Symbolic Logic"},{"key":"3_CR112","doi-asserted-by":"publisher","first-page":"527","DOI":"10.3166\/jancl.12.527-559","volume":"12","author":"D. Vakarelov","year":"2002","unstructured":"Vakarelov, D., Dimov, G., D\u00fcntsch, I., and Bennett, B. (2002). A proximity approach to some region\u2013based theories of space. J. Appl. Non\u2013Classical Logics, 12:527\u2013529.","journal-title":"J. Appl. Non\u2013Classical Logics"},{"key":"3_CR113","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., D\u00fcntsch, I., and Bennett, B. (2001). A note on proximity spaces and connection based mereology. In Welty, C. and Smith, B., editors, Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS\u201901), pages 139\u2013150. ACM.","DOI":"10.1145\/505168.505182"},{"key":"3_CR114","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Extensions of classical logic, volume 2 of Handbook of Philosophical Logic","author":"J. van Benthem","year":"1984","unstructured":"van Benthem, J. (1984). Correspondence theory. In Gabbay, D. M. and Guenthner, F., editors, Extensions of classical logic, volume 2 of Handbook of Philosophical Logic, pages 167\u2013247. Reidel, Dordrecht."},{"issue":"5","key":"3_CR115","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/logcom\/9.5.601","volume":"9","author":"Y. Venema","year":"1999","unstructured":"Venema, Y. (1999). Points, lines and diamonds: A two-sorted modal logic for projective planes. J. Log. Comput., 9(5):601\u2013621.","journal-title":"J. Log. Comput."},{"key":"3_CR116","first-page":"377","volume-title":"Proceedings of the Fifth National Conference on Artificial Intelligence","author":"M. Vilain","year":"1986","unstructured":"Vilain, M. and Kautz, H. (1986). Constraint propagation algorithms for temporal reasoning. In Kehler, T. and Rosenschein, S., editors, Proceedings of the Fifth National Conference on Artificial Intelligence, pages 377\u2013382. MIT Press, Menlo Park."},{"key":"3_CR117","volume-title":"The Concept of Nature","author":"A. N. Whitehead","year":"1920","unstructured":"Whitehead, A. N. (1920). The Concept of Nature. Cambridge University Press, Cambridge."},{"key":"3_CR118","volume-title":"Process and Reality","author":"A. N. Whitehead","year":"1929","unstructured":"Whitehead, A. N. (1929). Process and Reality. MacMillan, New York. A corrected edition of this was published in 1978 by Macmillan."},{"key":"3_CR119","volume-title":"Process and Reality (corrected edition)","author":"A. N. Whitehead","year":"1978","unstructured":"Whitehead, A. N. (1978). Process and Reality (corrected edition). Macmillan, New York. This is a revised version of a 1929 edition edited by D.R. Griffin and D.W. Sherburne."},{"key":"3_CR120","first-page":"3","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR00)","author":"F. Wolter","year":"2000","unstructured":"Wolter, F. and Zakharyaschev, M. (2000). Spatio-temporal representation and reasoning based on RCC-8. In Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference (KR00), pages 3\u201314. Morgan Kaufman, San Francisco."},{"key":"3_CR121","first-page":"175","volume-title":"Exploring Artificial Intelligence in the New Millenium","author":"F. Wolter","year":"2002","unstructured":"Wolter, F. and Zakharyaschev, M. (2002). Qualitative spatio-temporal representation and reasoning: A computational perspective. In Lakemeyer, G. and Nebel, B., editors, Exploring Artificial Intelligence in the New Millenium, pages 175\u2013216. Morgan Kaufmann, San Francisco."},{"key":"3_CR122","volume-title":"Logic, Semantics, Metamathematics","year":"1956","unstructured":"Woodger, J. H., editor (1956). Logic, Semantics, Metamathematics, Oxford. Clarendon Press."}],"container-title":["Handbook of Spatial Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-5587-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T20:03:32Z","timestamp":1737403412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-5587-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781402055867","9781402055874"],"references-count":122,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_3","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}