{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:13:18Z","timestamp":1760170398013},"publisher-location":"Dordrecht","reference-count":115,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402055867"},{"type":"electronic","value":"9781402055874"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-4020-5587-4_7","type":"book-chapter","created":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T09:19:57Z","timestamp":1188638397000},"page":"343-428","source":"Crossref","is-referenced-by-count":10,"title":["Logical Theories for Fragments of Elementary Geometry"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Goranko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruaan","family":"Kellerman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"319","DOI":"10.3166\/jancl.12.319-363","volume":"12","author":"M. Aiello","year":"2002","unstructured":"Aiello, M. and van Benthem, J. (2002). A modal walk through space. Journal of Applied Non-Classical Logics, 12:319\u2013363.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"7_CR2","volume-title":"Geometric Algebra","author":"E. Artin","year":"1957","unstructured":"Artin, E. (1957). Geometric Algebra. Interscience, New York."},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1080\/11663081.1998.10510945","volume":"8","author":"P. Balbiani","year":"1998","unstructured":"Balbiani, P. (1998). The modal multilogic of geometry. Journal of Applied Non-classical Logics, 8:259\u2013281.","journal-title":"Journal of Applied Non-classical Logics"},{"issue":"1","key":"7_CR4","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. Journal of Logic and Computation, 7(1): 59\u201378.","journal-title":"Journal of Logic and Computation"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.3166\/jancl.12.365-397","volume":"12","author":"P. Balbiani","year":"2002","unstructured":"Balbiani, P. and Goranko, V. (2002). Modal logics for parallelism, orthogonality, and affine geometries. Journal of Applied Non-Classical Logics, 12:365\u2013397.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1145\/320211.320240","volume":"46","author":"S. Basu","year":"1999","unstructured":"Basu, S. (1999). New results on quantifier elimination over real closed fields and applications to constraint databases. JACM, 46(4):537\u2013555.","journal-title":"JACM"},{"issue":"6","key":"7_CR7","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1145\/235809.235813","volume":"43","author":"S. Basu","year":"1996","unstructured":"Basu, S., Pollack, R., and Roy, M.-F. (1996). On the combinatorial and algebraic complexity of quantifier elimination. Journal ACM, 43(6):1002\u20131045.","journal-title":"Journal ACM"},{"key":"7_CR8","unstructured":"Batten, L. M. (1986). Combinatorics of Finite Geometries. CUP."},{"volume-title":"Fundamentals of Mathematics, Vol. II: Geometry","year":"1974","key":"7_CR9","unstructured":"Behnke, H., Bachmann, F., Fladt, K., and Kunle, H., editors (1974). Fundamentals of Mathematics, Vol. II: Geometry. MIT Press, Cambridge, Massachusetts."},{"key":"7_CR10","doi-asserted-by":"crossref","DOI":"10.1002\/9781118032565","volume-title":"Affine and Projective Geometry","author":"M. K. Bennett","year":"1995","unstructured":"Bennett, M. K. (1995). Affine and Projective Geometry. J. Wiley, NY."},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1016\/S1385-7258(56)50062-5","volume":"18","author":"E. Beth","year":"1956","unstructured":"Beth, E. and Tarski, A. (1956). Equilaterality as the only primitive notion of Euclidean geometry. Indag. Math., 18:462\u2013467.","journal-title":"Indag. Math."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y. (2001). Modal Logic. CUP.","DOI":"10.1017\/CBO9781107050884"},{"volume-title":"Contemporary Mathematics: Automated Theorem Proving - After 25 Years","year":"1984","key":"7_CR13","unstructured":"Bledsoe, W.W. and Loveland, D.W., editors (1984). Contemporary Mathematics: Automated Theorem Proving - After 25 Years, Providence, RI. American Mathematical Society."},{"key":"7_CR14","volume-title":"A Modern View of Geometry","author":"L. Blumenthal","year":"1961","unstructured":"Blumenthal, L. (1961). A Modern View of Geometry. W.H. Freeman and Company, San Francisco."},{"key":"7_CR15","volume-title":"Studies in Geometry","author":"L. M. Blumenthal","year":"1970","unstructured":"Blumenthal, L. M. and Menger, K. (1970). Studies in Geometry. W. H. Freeman and Company, San Francisco."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Recent Trends in Multidimensional Systems Theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger, B. (1985). Gr\u00f6bner bases: an algorithmic method in polynomial ideal theory. In Bose, N., editor, Recent Trends in Multidimensional Systems Theory, pages 184\u2013232. Reidel, Dordrecht."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Buchberger, B., Collins, G. E., and Kutzler, B. (1988). Algebraic methods for geometric reasoning. Annual Review of Computer Science.","DOI":"10.1146\/annurev.cs.03.060188.000505"},{"key":"7_CR18","unstructured":"Carnap, R. (1947). Meaning and Necessity. University of Chicago Press."},{"volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","year":"1998","key":"7_CR19","unstructured":"Caviness, B. F. and Johnson, J. R., editors (1998). Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, New York."},{"key":"7_CR20","volume-title":"Model Theory","author":"C. C. Chang","year":"1973","unstructured":"Chang, C. C. and Keisler, H. J. (1973). Model Theory. North Holland Publishing Company, Amsterdam. 3rd ed. 1990.","edition":"3"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Chou, S. C. (1984). Proving elementary geometry theorems using Wu\u2019s algorithm. In Bledsoe and Loveland, 1984, pages 243\u2013286.","DOI":"10.1090\/conm\/029\/14"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/BF00243793","volume":"3","author":"S. C. Chou","year":"1987","unstructured":"Chou, S. C. (1987). A method for mechanical derivation of formulas in elementary geometry. Journal of Automated Reasoning, 3:291\u2013299.","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/BF00244942","volume":"4","author":"S. C. Chou","year":"1988","unstructured":"Chou, S. C. (1988). An introduction to Wu\u2019s method for mechanical theorem proving in geometry. Journal of Automated Reasoning, 4:237\u2013267.","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Chou, S. C. (1990). Automated reasoning in geometries using the characteristic set method and Gr\u00f6bner basis method. In Proceedings of the International Symposium on Symbolic and Algebraic Computation ISSAC\u201990, pages 255\u2013260. ACM Press.","DOI":"10.1145\/96877.96942"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Chou, S. C. and Gao, X. S. (1990). Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving. In Stickel, M. E., editor, Proc. CADE-10, volume 449 of LNCS. Springer-Verlag.","DOI":"10.1007\/3-540-52885-7_89"},{"key":"7_CR26","first-page":"1","volume":"46","author":"A. Cohn","year":"2001","unstructured":"Cohn, A. and Hazarika, S. (2001). Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae, 46:1\u201329.","journal-title":"Fundamenta Informaticae"},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume":"33","author":"G. E. Collins","year":"1975","unstructured":"Collins, G. E. (1975). Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. Lect. Notes Comput. Sci., 33:134\u2013183.","journal-title":"Lect. Notes Comput. Sci."},{"key":"7_CR28","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/978-3-7091-9459-1_2","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"G. E. Collins","year":"1998","unstructured":"Collins, G. E. (1998). Quantifier elimination by cylindrical algebraic decomposition\u2014twenty years of progress. In Caviness, B. F. and Johnson, J. R., editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, pages 8\u201323. Springer-Verlag, New York."},{"key":"7_CR29","unstructured":"Coppel, W. A. (1998). Foundations of Convex Geometry. CUP."},{"key":"7_CR30","volume-title":"Introduction to Geometry","author":"H. Coxeter","year":"1969","unstructured":"Coxeter, H. (1969). Introduction to Geometry. John Wiley & Sons, NY."},{"issue":"1\/2","key":"7_CR31","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"James H. Davenport","year":"1988","unstructured":"Davenport, James H. and Heintz, Joos (1988). Real quantifier elimination is doubly exponential. J. Symb. Comput., 5(1\/2):29\u201335.","journal-title":"J. Symb. Comput."},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. de Rijke","year":"1992","unstructured":"de Rijke, M. (1992). The modal logic of inequality. Journal of Symbolic Logic, 57:566\u2013584.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BF01049414","volume":"4","author":"M. de Rijke","year":"1995","unstructured":"de Rijke, M. (1995). The logic of Peirce algebras. Journal of Logic, Language and Information, 4:227\u2013250.","journal-title":"Journal of Logic, Language and Information"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Demri, S. (1996). A simple tableau system for the logic of elsewhere. In Miglioli, P., Moscato, U., Mundici, D., and Ornaghi, M., editors, Theorem Proving with Analytic Tableaux and Related Methods, volume 1071 of LNAI. Springer.","DOI":"10.1007\/3-540-61208-4_12"},{"key":"7_CR35","volume-title":"Basic Model Theory","author":"K. Doets","year":"1996","unstructured":"Doets, K. (1996). Basic Model Theory. CSLI Publications, Stanford."},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1006031329384","volume":"21","author":"A. Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, A., and Weispfenning, V. (1998). A new approach for automatic theorem proving in real geometry. Journal of Automated Reasoning, 21:357\u2013380.","journal-title":"Journal of Automated Reasoning"},{"key":"7_CR37","volume-title":"A Mathematical Introduction to Logic.","author":"H. Enderton","year":"1972","unstructured":"Enderton, H. (1972). A Mathematical Introduction to Logic. Harcourt Academic Press, New York. 2nd ed. 2001.","edition":"2"},{"key":"7_CR38","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1215\/S0012-7094-51-01837-6","volume":"18","author":"M. Esser","year":"1951","unstructured":"Esser, M. (1951). Self-dual postulates for n-dimensional geometry. Duke Math. Journal, 18:475\u2013479.","journal-title":"Duke Math. Journal"},{"key":"7_CR39","doi-asserted-by":"publisher","first-page":"221","DOI":"10.2307\/1996593","volume":"177","author":"M. Esser","year":"1973","unstructured":"Esser, M. (1973). Self-dual axioms for many-dimensional projective geometry. Trans. Amer. Math. Soc., 177:221\u2013236.","journal-title":"Trans. Amer. Math. Soc."},{"key":"7_CR40","volume-title":"A Survey of Geometry","author":"H. Eves","year":"1972","unstructured":"Eves, H. (1972). A Survey of Geometry. Allyn and Bacon Inc., Boston."},{"key":"7_CR41","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D. Gabbay","year":"1981","unstructured":"Gabbay, D. (1981). An irreflexivity lemma with applications to axiomatizations of conditions in tense frames. In Monnich, U., editor, Aspects of Philosophical Logic, pages 67\u201389. Reidel, Dordrecht."},{"key":"7_CR42","unstructured":"Gemignani, M. (1971). Axiomatic Geometry. Addison-Wesley Publ. Co."},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"Goldblatt, R. (1987). Orthogonality and Space-Time Geometry. Springer-Verlag.","DOI":"10.1007\/978-1-4684-6345-3"},{"key":"7_CR44","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1305\/ndjfl\/1093635335","volume":"31","author":"V. Goranko","year":"1990","unstructured":"Goranko, V. (1990). Modal definability in enriched languages. Notre Dame Journal of Formal Logic, 31:81\u2013105.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"7_CR45","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. Journal of Logic and Computation, 2:5\u201330.","journal-title":"Journal of Logic and Computation"},{"key":"7_CR46","volume-title":"Foundations of Projective Geometry","author":"R. Hartshorne","year":"1967","unstructured":"Hartshorne, R. (1967). Foundations of Projective Geometry. W. A. Benjamin Inc., New York."},{"key":"7_CR47","doi-asserted-by":"crossref","first-page":"101","DOI":"10.24033\/bsmf.2138","volume":"118","author":"J. Heintz","year":"1990","unstructured":"Heintz, J., Roy, M., and Solerno, P. (1990). Sur la complexit\u00e9 du principe de tarski-seidenberg. Bull. Soc. Math. France, 118:101\u2013126.","journal-title":"Bull. Soc. Math. France"},{"volume-title":"The Axiomatic Method, with Special Reference to Geometry and Physics","year":"1959","key":"7_CR48","unstructured":"Henkin, L., Suppes, P., and Tarski, A., editors (1959). The Axiomatic Method, with Special Reference to Geometry and Physics. North-Holland Publishing Company, Amsterdam."},{"key":"7_CR49","volume-title":"Axiomatic Projective Geometry","author":"A. Heyting","year":"1963","unstructured":"Heyting, A. (1963). Axiomatic Projective Geometry. P. Noordhoff (Groningen) and North-Holland Publishing Company (Amsterdam)."},{"key":"7_CR50","volume-title":"Foundations of Geometry","author":"D. Hilbert","year":"1950","unstructured":"Hilbert, D. (1950). Foundations of Geometry. La Salle, Illinois."},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Hodges, W. (1993). Model Theory. Cambridge University Press.","DOI":"10.1017\/CBO9780511551574"},{"key":"7_CR52","volume-title":"Projective Planes","author":"D. R. Hughes","year":"1973","unstructured":"Hughes, D. R. and Piper, F. C. (1973). Projective Planes. Graduate Texts in Mathematics no. 6. Springer-Verlag, New York."},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Hughes, G. and Cresswell, M. (1996). A New Introduction to Modal Logic. Routledge.","DOI":"10.4324\/9780203290644"},{"key":"7_CR54","doi-asserted-by":"crossref","unstructured":"Kapur, D. (1986). Geometry theorem proving using Hilbert\u2019s Nullstellensatz. In Proc. of SYMSAC\u201986, pages 202\u2013208, Waterloo.","DOI":"10.1145\/32439.32479"},{"key":"7_CR55","volume-title":"Einf\u00fchrung in die Geometrie","author":"H. Karzel","year":"1973","unstructured":"Karzel, H., S\u00f6rensen, K., and Windelberg, D. (1973). Einf\u00fchrung in die Geometrie. Studia mathematica\/Mathematische Lehrb\u00fccher, Taschenbuch 1. Uni-Taschenb\u00fccher, No. 184. Vandenhoeck & Ruprecht, G\u00f6ttingen."},{"issue":"9\u201310","key":"7_CR56","first-page":"429","volume":"30","author":"M. Kordos","year":"1982","unstructured":"Kordos, M. (1982). Bisorted projective geometry. Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math., 30(no. 9\u201310):429\u2013432 (1983).","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math."},{"key":"7_CR57","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01264919","volume":"46","author":"R. Kramer","year":"1993","unstructured":"Kramer, R. (1993). The undefinability of intersection from perpendicularity in the three-dimensional Euclidean geometry of lines. Geometriae Dedicata, 46:207\u2013210.","journal-title":"Geometriae Dedicata"},{"key":"7_CR58","unstructured":"Lemon, O. and Pratt, I. (1998). On the incompleteness of modal logics of space: advancing complete modal logics of place. In Kracht, M., de Rijke, M., Wansing, H., and Zakharyaschev, M., editors, Advances in Modal Logic: Volume 1, pages 115\u2013132. CSLI Publications."},{"key":"7_CR59","unstructured":"Lenz, H. (1954). Zur Begr\u00fcndung der analytischen Geometrie. S.-B. Math.-Nat. Kl. Bayer. Akad. Wiss. 1954, pages 17\u201372 (1955)."},{"issue":"6","key":"7_CR60","first-page":"763","volume":"11","author":"H. Lenz","year":"1989","unstructured":"Lenz, H. (1989). Zur Begr\u00fcndung der affinen Geometrie des Raumes. Mitt. Math. Ges. Hamburg, 11(6):763\u2013775.","journal-title":"Mitt. Math. Ges. Hamburg"},{"key":"7_CR61","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF02941631","volume":"62","author":"H. Lenz","year":"1992","unstructured":"Lenz, H. (1992). Konvexit\u00e4t in Anordnungsr\u00e4umen. Abh. Math. Sem. Univ. Hamburg, 62:255\u2013285.","journal-title":"Abh. Math. Sem. Univ. Hamburg"},{"key":"7_CR62","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0168-0072(98)00017-7","volume":"95","author":"M. Lombard","year":"1998","unstructured":"Lombard, M. and Vesley, R. (1998). A common axiom set for classical and intuitionistic plane geometry. Annals of Pure and Applied Logic, 95: 229\u2013255.","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR63","unstructured":"Marx, M. (1996). Dynamic arrow logic. In Marx, M., P\u00f3los, L., and Masuch, M., editors, Arrow Logic and Multi-Modal Logic, pages 109\u2013123. CSLI Publications."},{"key":"7_CR64","first-page":"81","volume":"8","author":"K. Menger","year":"1948","unstructured":"Menger, K. (1948). Independent self-dual postulates in projective geometry. Rep. Math. Colloquium (2), 8:81\u201387.","journal-title":"Rep. Math. Colloquium (2)"},{"key":"7_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1215\/S0012-7094-50-01701-7","volume":"17","author":"K. Menger","year":"1950","unstructured":"Menger, K. (1950). The projective space. Duke Math. Journal, 17:1\u201314.","journal-title":"Duke Math. Journal"},{"issue":"1\u20132","key":"7_CR66","first-page":"87","volume":"2","author":"M. Menghini","year":"1991","unstructured":"Menghini, M. (1991). On configurational propositions. Pure Math. Appl. Ser. A., 2(1\u20132):87\u2013126.","journal-title":"Pure Math. Appl. Ser. A."},{"key":"7_CR67","volume-title":"Fundamental Concepts of Geometry","author":"B. Meserve","year":"1983","unstructured":"Meserve, B. (1983). Fundamental Concepts of Geometry. Dover Publ., New York, second edition.","edition":"2"},{"key":"7_CR68","volume-title":"Projective Geometry and Algebraic Structures","author":"R. Mihalek","year":"1972","unstructured":"Mihalek, R. (1972). Projective Geometry and Algebraic Structures. Academic Press, New York."},{"key":"7_CR69","first-page":"63","volume":"18","author":"V. Pambuccian","year":"1989","unstructured":"Pambuccian, V. (1989). Simple axiom systems for Euclidean geometry. Mathematical Chronicle, 18:63\u201374.","journal-title":"Mathematical Chronicle"},{"key":"7_CR70","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1002\/malq.19950410310","volume":"41","author":"V. Pambuccian","year":"1995","unstructured":"Pambuccian, V. (1995). Ternary operations as primitive notions for constructive plane geometry VI. Math. Logic Quarterly, 41:384\u2013394.","journal-title":"Math. Logic Quarterly"},{"key":"7_CR71","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1002\/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-B","volume":"47","author":"V. Pambuccian","year":"2001","unstructured":"Pambuccian, V. (2001a). Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry. Mathematical Logic Quarterly, 47: 129\u2013136.","journal-title":"Mathematical Logic Quarterly"},{"issue":"2","key":"7_CR72","first-page":"361","volume":"53","author":"V. Pambuccian","year":"2001","unstructured":"Pambuccian, V. (2001b). Fragments of Euclidean and hyperbolic geometry. Scientiae Mathematicae Japonicae, 53(2):361\u2013400.","journal-title":"Scientiae Mathematicae Japonicae"},{"key":"7_CR73","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1515\/form.2003.047","volume":"15","author":"V. Pambuccian","year":"2003","unstructured":"Pambuccian, V. (2003). Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry. Forum Mathematicum, 15:943\u2013947.","journal-title":"Forum Mathematicum"},{"issue":"3","key":"7_CR74","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/S0019-3577(04)80008-9","volume":"15","author":"V. Pambuccian","year":"2004","unstructured":"Pambuccian, V. (2004). Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. Indagationes Mathematicae, 15(3):413\u2013417.","journal-title":"Indagationes Mathematicae"},{"key":"7_CR75","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/0-387-29555-0_7","volume-title":"Non-Euclidean Geometries: J\u00e1nos Bolyai Memorial Volume","author":"V. Pambuccian","year":"2006","unstructured":"Pambuccian, V. (2006). Axiomatizations of hyperbolic and absolute geometries. In Pr\u00e9kopa, A. and Moln\u00e1r, E., editors, Non-Euclidean Geometries: J\u00e1nos Bolyai Memorial Volume, pages 119\u2013153. Springer Verlag, New York."},{"key":"7_CR76","volume-title":"Vorlesungen \u00fcber neuere Geometrie","author":"M. Pasch","year":"1882","unstructured":"Pasch, M. (1882). Vorlesungen \u00fcber neuere Geometrie. B.G.Teubner, Leipzig."},{"key":"7_CR77","first-page":"345","volume":"15","author":"M. Pieri","year":"1908","unstructured":"Pieri, M. (1908). La geometria elementare istituita sulle nozioni \u201cpunto\u201d e \u201csfera\u201d. Memorie di Matematica e di Fisica della Societa Italiana delle Scienze, 15:345\u2013450.","journal-title":"Memorie di Matematica e di Fisica della Societa Italiana delle Scienze"},{"issue":"3","key":"7_CR78","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J. Renegar","year":"1992","unstructured":"Renegar, J. (1992). On the computational complexity and geometry of the first-order theory of the reals. J. Symb. Comput., 13(3):255\u2013352.","journal-title":"J. Symb. Comput."},{"key":"7_CR79","doi-asserted-by":"crossref","first-page":"347","DOI":"10.4064\/fm-82-4-347-355","volume":"LXXXII","author":"W. Schwabh\u00e4user","year":"1975","unstructured":"Schwabh\u00e4user, W. and Szczerba, L. (1975). Relations on lines as primitive notions for Euclidean geometry. Fund. Math., LXXXII:347\u2013355.","journal-title":"Fund. Math."},{"key":"7_CR80","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69418-9","volume-title":"Metamathematische Methoden in der Geometrie","author":"W. Schwabh\u00e4user","year":"1983","unstructured":"Schwabh\u00e4user, W., Szmielew, W., and Tarski, A. (1983). Metamathematische Methoden in der Geometrie. Springer-Verlag, Berlin."},{"key":"7_CR81","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1016\/S1385-7258(56)50061-3","volume":"18","author":"D. Scott","year":"1956","unstructured":"Scott, D. (1956). A symmetric primitive of Euclidean geometry. Indag. Math., 18:456\u2013461.","journal-title":"Indag. Math."},{"key":"7_CR82","doi-asserted-by":"crossref","unstructured":"Scott, D. (1959). Dimension in elementary Euclidean geometry. In Henkin et al., 1959, pages 53\u201367.","DOI":"10.1016\/S0049-237X(09)70019-9"},{"key":"7_CR83","first-page":"183","volume":"47","author":"K. Segerberg","year":"1981","unstructured":"Segerberg, K. (1981). A note on the logic of elsewhere. Theoria, 47:183\u2013187.","journal-title":"Theoria"},{"key":"7_CR84","doi-asserted-by":"publisher","first-page":"365","DOI":"10.2307\/1969640","volume":"60","author":"A. Seidenberg","year":"1954","unstructured":"Seidenberg, A. (1954). A new decision method for elementary algebra. Ann. Math., 60:365\u2013374.","journal-title":"Ann. Math."},{"key":"7_CR85","unstructured":"Spaan, E. (1993). Complexity of Modal Logics. PhD thesis, University of Amsterdam."},{"key":"7_CR86","unstructured":"Stebletsova, V. (2000). Algebras, Relations, Geometries. PhD thesis, Zeno Institute of Philosophy, Univ. of Utrecht."},{"issue":"1","key":"7_CR87","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L. J. Stockmeyer","year":"1977","unstructured":"Stockmeyer, L. J. (1977). The polynomial-time hierarchy. Theoretical Computer Science, 3(1):1\u201322.","journal-title":"Theoretical Computer Science"},{"key":"7_CR88","first-page":"753","volume":"20","author":"L. Szczerba","year":"1972","unstructured":"Szczerba, L. (1972). Weak general affine geometry. Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys., 20:753\u2013761.","journal-title":"Bull. Acad. Polon. Sci. S\u00e9r. Sci. Math. Astronom. Phys."},{"key":"7_CR89","volume-title":"Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science","author":"L. Szczerba","year":"1965","unstructured":"Szczerba, L. and Tarski, A. (1965). Metamathematical properties of some affine geometries. In Bar-Hillel, Y., editor, Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science, Studies in Logic and the Foundations of Mathematics, Amsterdam. North-Holland Publishing Company."},{"key":"7_CR90","doi-asserted-by":"crossref","first-page":"155","DOI":"10.4064\/fm-104-3-155-192","volume":"104","author":"L. Szczerba","year":"1979","unstructured":"Szczerba, L. and Tarski, A. (1979). Metamathematical discussion of some affine geometries. Fund. Math., 104:155\u2013192.","journal-title":"Fund. Math."},{"key":"7_CR91","doi-asserted-by":"crossref","unstructured":"Szmielew, W. (1959). Some metamathematical problems concerning elementary hyperbolic geometry. In Henkin et al., 1959, pages 30\u201352.","DOI":"10.1016\/S0049-237X(09)70018-7"},{"key":"7_CR92","unstructured":"Szmielew, W. (1983). From Affine to Euclidean Geometry: An Axiomatic Approach. D. Reidel and PWN-Warsaw."},{"key":"7_CR93","first-page":"75","volume":"14","author":"A. Tarski","year":"1949","unstructured":"Tarski, A. (1949a). On essential undecidability. Journal of Symbolic Logic, 14:75\u201376.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR94","first-page":"77","volume":"14","author":"A. Tarski","year":"1949","unstructured":"Tarski, A. (1949b). Undecidability of the theories of lattices and projective geometries. Journal of Symbolic Logic, 14:77\u201378.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR95","doi-asserted-by":"crossref","unstructured":"Tarski, A. (1951). A decision method for elementary algebra and geometry. Technical report, UCLA. Prepared for publ. by J. McKinsey.","DOI":"10.1525\/9780520348097"},{"key":"7_CR96","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1016\/S1385-7258(56)50063-7","volume":"18","author":"A. Tarski","year":"1956","unstructured":"Tarski, A. (1956). A general theorem concerning primitive notions of Euclidean geometry. Indag. Math., 18:468\u2013474.","journal-title":"Indag. Math."},{"key":"7_CR97","doi-asserted-by":"crossref","unstructured":"Tarski, A. (1959). What is elementary geometry? In Henkin et al., 1959, pages 16\u201329.","DOI":"10.1016\/S0049-237X(09)70017-5"},{"key":"7_CR98","volume-title":"The completeness of elementary algebra and geometry","author":"A. Tarski","year":"1967","unstructured":"Tarski, A. (1967). The completeness of elementary algebra and geometry. Technical report, Institut Blaise Pascal, Paris."},{"issue":"2","key":"7_CR99","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. of Symb. Logic, 5(2):175\u2013214.","journal-title":"Bull. of Symb. Logic"},{"key":"7_CR100","first-page":"76","volume":"14","author":"A. Tarski","year":"1949","unstructured":"Tarski, A. and Mostowski, A. (1949). Undecidability in the arithmetic of integers and in the theory of rings. Journal of Symbolic Logic, 14:76.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR101","unstructured":"Tarski, A., Mostowski, A., and Robinson, R. (1953). Undecidable theories. North-Holland."},{"key":"7_CR102","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (1983). The Logic of Time. Kluwer.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"7_CR103","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (1984). Correspondence theory. In Gabbay, D. and Guenthner, F., editors, Handbook of Philosophical Logic: Volume II, pages 167\u2013247. Reidel.","DOI":"10.1007\/978-94-009-6259-0_4"},{"key":"7_CR104","doi-asserted-by":"crossref","unstructured":"van Benthem, J. (1994). A note on dynamic arrow logics. In van Eijck, J. and Visser, A., editors, Logic and Information Flow, pages 15\u201329. MIT Press.","DOI":"10.7551\/mitpress\/4286.003.0004"},{"key":"7_CR105","first-page":"203","volume-title":"Arrow Logic and Multimodal Logic","author":"J. van Benthem","year":"1996","unstructured":"van Benthem, J. (1996). Complexity of contents versus complexity of wrappings. In Marx, M., Masuch, M., and P\u00f3los, editors, Arrow Logic and Multimodal Logic, pages 203\u2013219. CSLI Publications, Stanford."},{"key":"7_CR106","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1093\/jigpal\/7.1.7","volume":"7","author":"J. van Benthem","year":"1999","unstructured":"van Benthem, J. (1999). Temporal patterns and modal structure. Logic Journal of IGPL, 7:7\u201326.","journal-title":"Logic Journal of IGPL"},{"key":"7_CR107","doi-asserted-by":"publisher","first-page":"343","DOI":"10.2307\/1986462","volume":"5","author":"O. Veblen","year":"1904","unstructured":"Veblen, O. (1904). A system of axioms for geometry. Transactions of the American Mathematical Society, 5:343\u2013384.","journal-title":"Transactions of the American Mathematical Society"},{"key":"7_CR108","first-page":"1","volume-title":"Monographs on topics of modern mathematics, relevant to the elementary field","author":"O. Veblen","year":"1914","unstructured":"Veblen, O. (1914). The foundations of geometry. In Young, J., editor, Monographs on topics of modern mathematics, relevant to the elementary field, pages 1\u201351. Longsman, Green, and Company, New York."},{"key":"7_CR109","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.2307\/2275109","volume":"58","author":"Y. Venema","year":"1993","unstructured":"Venema, Y. (1993). Derivation rules as anti-axioms in modal logic. Journal of Symbolic Logic, 58:1003\u20131034.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR110","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. Journal of Logic and Computation, 9:601\u2013621.","journal-title":"Journal of Logic and Computation"},{"key":"7_CR111","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0168-0072(95)00005-2","volume":"76","author":"J. von Plato","year":"1995","unstructured":"von Plato, J. (1995). The axioms of constructive geometry. Annals of Pure and Applied Logic, 76:169\u2013200.","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR112","doi-asserted-by":"crossref","unstructured":"von Wright, G. (1979). A modal logic of place. In Sosa, E., editor, The Philosophy of Nicholas Rescher, pages 65\u201373. Reidel.","DOI":"10.1007\/978-94-009-9407-2_9"},{"key":"7_CR113","doi-asserted-by":"crossref","unstructured":"Wu, W. (1984). Some recent advances in mechanical theorem proving in geometries. In Bledsoe and Loveland, 1984, pages 235\u2013242.","DOI":"10.1090\/conm\/029\/13"},{"issue":"4","key":"7_CR114","first-page":"221","volume":"2","author":"W. Wu","year":"1986","unstructured":"Wu, W. (1986). Basic principles of mechanical theorem proving in geometries. Journal of Automated Reasoning, 2(4):221\u2013252.","journal-title":"Journal of Automated Reasoning"},{"issue":"3\u20134","key":"7_CR115","first-page":"269","volume":"28","author":"M. Ziegler","year":"1982","unstructured":"Ziegler, M. (1982). Einige unentscheidbare K\u00f6rpertheorien. Enseign. Math. (2), 28(3\u20134):269\u2013280.","journal-title":"Enseign. Math. (2)"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T18:18:23Z","timestamp":1708193903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-5587-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781402055867","9781402055874"],"references-count":115,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_7","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}