{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:57:02Z","timestamp":1762271822570,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060248"},{"type":"electronic","value":"9783319060255"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_6","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"143-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Comparing Theories: The Dynamics of Changing Vocabulary"],"prefix":"10.1007","author":[{"given":"Hajnal","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"6_CR1","unstructured":"Andr\u00e9ka H, Madar\u00e1sz JX, N\u00e9meti I (2001) Defining new universes in many-sorted logic. Mathematical Institute of the Hungarian Academy of Sciences, Budapest, p 93 (Preprint)"},{"key":"6_CR2","unstructured":"Andr\u00e9ka H, Madar\u00e1sz JX, N\u00e9meti I (2002) On the logical structure of relativity theories. Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest. Research report, 5 July 2002, with contributions from Andai A, S\u00e1gi G, Sain I, T\u0151ke Cs, 1312 pp. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/Contents.html"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka H, Madar\u00e1sz JX, N\u00e9meti I (2007) Logic of space-time and relativity theory. In: Aiello M, Pratt-Hartmann I, van Benthem J (eds) Handbook of spatial logics. Springer, Berlin, pp 607\u2013711","DOI":"10.1007\/978-1-4020-5587-4_11"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka H, Madar\u00e1sz JX, N\u00e9meti I, N\u00e9meti P, Sz\u00e9kely G (2011) Vienna circle and logical analysis of relativity theory. In: M\u00e1te A, R\u00e9dei M, Stadler F (eds) The Vienna circle in Hungary (Der Wiener Kreis in Ungarn). Veroffentlichungen des Instituts Wiener Kreis, Band 16, Springer, New York, pp. 247\u2013268","DOI":"10.1007\/978-3-7091-0177-3_11"},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/s11229-011-9914-8","volume":"186","author":"H Andr\u00e9ka","year":"2012","unstructured":"Andr\u00e9ka H, Madar\u00e1sz JX, N\u00e9meti I, Sz\u00e9kely G (2012) A logic road from special relativity to general relativity. Synthese 186(3):633\u2013649","journal-title":"Synthese"},{"issue":"7\/8","key":"6_CR6","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/BF00717578","volume":"8","author":"J Ax","year":"1978","unstructured":"Ax J (1978) The elementary foundations of spacetime. Found Phys 8(7\/8):507\u2013546","journal-title":"Found Phys"},{"key":"6_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-3765-9","volume-title":"An architectonic for science. The structuralist program","author":"W Balzer","year":"1987","unstructured":"Balzer W, Moulines U, Sneed JD (1987) An architectonic for science. The structuralist program. D. Reidel Publishing Company, Dordrecht"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/BF00485263","volume":"51","author":"J van Benthem","year":"1982","unstructured":"van Benthem J (1982) The logical study of science. Synthese 51:431\u2013472","journal-title":"Synthese"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1007\/s11229-011-9916-6","volume":"186","author":"J van Benthem","year":"2012","unstructured":"van Benthem J (2012) The logic of empirical theories revisited. Synthese 186(2):775\u2013792","journal-title":"Synthese"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF02429844","volume":"43","author":"J van Benthem","year":"1984","unstructured":"van Benthem J, Pearce D (1984) A mathematical characterization of interpretation between theories. Studia Logica 43(3):295\u2013303","journal-title":"Studia Logica"},{"key":"6_CR11","unstructured":"Burstall R, Goguen J (1977) Putting theories together to make specifications. In: Proceeding of IJCAI\u201977 (Proceedings of the 5th international joint conference on artificial intelligence), vol 2. Morgan Kaufmann Publishers, San Francisco, pp 1045\u20131058"},{"key":"6_CR12","volume-title":"Die Logische Aufbau der Welt","author":"R Carnap","year":"1928","unstructured":"Carnap R (1928) Die Logische Aufbau der Welt. Felix Meiner, Leipzig"},{"key":"6_CR13","volume-title":"Foundations of space-time theories: Relativistic physics and philosophy of science","author":"M Friedman","year":"1983","unstructured":"Friedman M (1983) Foundations of space-time theories: Relativistic physics and philosophy of science. Princeton University Press, Princeton"},{"key":"6_CR14","unstructured":"Friedman H (2004) On foundational thinking 1. FOM (foundations of mathematics) posting. http:\/\/www.cs.nyu.edu\/pipermail\/fom\/. Posted 20 Jan 2004"},{"key":"6_CR15","unstructured":"Friedman H (2007) Interpretations of set theory in discrete mathematics and informal thin- king. Lectures 1\u20133, Nineteenth annual Tarski lectures, Berkeley. http:\/\/u.osu.edu\/friedman.8\/"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1007\/s11229-011-0060-0","volume":"190","author":"P G\u00e4rdenfors","year":"2013","unstructured":"G\u00e4rdenfors P, Zenker F (2013) Theory change as dimensional change: conceptual spaces applied to the dynamics of empirical theories. Synthese 190:1039\u20131058","journal-title":"Synthese"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Goldblatt R (1987) Orthogonality and spacetime geometry. Springer, Berlin","DOI":"10.1007\/978-1-4684-6345-3"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Harnik V (2011) Model theory versus categorical logic: two approaches to pretopos completion (a.k.a. $$T^{eq}$$). In: Centre de Recherches Math\u00e9matiques CRM proceedings and lecture notes, vol 53. American Mathematical Society, pp 79\u2013106","DOI":"10.1090\/crmp\/053\/04"},{"key":"6_CR19","unstructured":"Hodges W (1993) Model theory. Cambridge University Press, Cambridge"},{"key":"6_CR20","unstructured":"Hoffman B (2013) A logical treatment of special relativity, with and without faster-than-light observers. BA Thesis, Lewis and Clark College, Oregon, 63pp. arXiv:1306.6004 [math.LO]"},{"key":"6_CR21","unstructured":"Konev B, Lutz C, Ponomaryov D, Wolter F (2010) Decomposing description logic ontologies. In: Proceedings of 12th conference on the principles of knowledge representation and reasoning, Association for the advancement of artificial intelligence, pp 236\u2013246"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Lutz C, Wolter F (2009) Mathematical logic for life science ontologies. In: Ono H, Kanazawa M, de Queiroz R (eds) Proceedings of WOLLIC-2009, LNAI 5514. Springer, pp 37\u201347","DOI":"10.1007\/978-3-642-02261-6_4"},{"key":"6_CR23","unstructured":"Madar\u00e1sz, JX (2002) Logic and relativity (in the light of definability theory). PhD Dissertation, E\u00f6tv\u00f6s Lor\u00e1nd University. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/diszi.pdf"},{"issue":"5","key":"6_CR24","doi-asserted-by":"publisher","first-page":"1706","DOI":"10.1007\/s10773-013-1492-8","volume":"52","author":"JX Madar\u00e1sz","year":"2013","unstructured":"Madar\u00e1sz JX, Sz\u00e9kely G (2013) Special relativity over the field of rational numbers. Int J Theor Phys 52(5):1706\u20131718","journal-title":"Int J Theor Phys"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Makkai M (1985) Ultraproducts and categorical logic, vol 1130. Methods in mathematical logic, Springer LNM, Berlin, pp 222\u2013309","DOI":"10.1007\/BFb0075314"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Makkai M (1993) Duality and definability in first order logic, vol 503. Memoirs of the American Mathematical Society, Providence","DOI":"10.1090\/memo\/0503"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Makkai M, Reyes G (1977) First order categorical logic. Lecture Notes in Mathematics, vol 611. Springer, Berlin","DOI":"10.1007\/BFb0066201"},{"key":"6_CR28","unstructured":"Pambuccian V (2004\/05) Elementary axiomatizations of projective space and of its associated Grassman space. Note de Matematica 24(1):129\u2013141"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s11225-005-4650-z","volume":"81","author":"V Pambuccian","year":"2005","unstructured":"Pambuccian V (2005) Groups and plane geometry. Studia Logica 81:387\u2013398","journal-title":"Studia Logica"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s00010-007-2885-7","volume":"74","author":"V Pambuccian","year":"2007","unstructured":"Pambuccian V (2007) Alexandrov-Zeeman type theorems expressed in terms of definability. Aequationes Math 74:249\u2013261","journal-title":"Aequationes Math"},{"issue":"3","key":"6_CR31","first-page":"635","volume":"23","author":"F Previale","year":"1969","unstructured":"Previale F (1969) Rappresentabilit$$\\grave{a}$$ ed equipollenza di teorie assomatiche i. Ann Scuola Norm Sup Pisa 23(3):635\u2013655","journal-title":"Ann Scuola Norm Sup Pisa"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Schelb U (2000) Characterizability of free motion in special relativity. Found Phys 30(6):867\u2013892","DOI":"10.1023\/A:1003650408056"},{"key":"6_CR33","unstructured":"Schutz JW (1997) Independent axioms for Minkowski space-time. Longman, London"},{"key":"6_CR34","doi-asserted-by":"crossref","unstructured":"Suppes P (1959) Axioms for relativistic kinematics with or without parity. In: Henkin L, Tarski A, Suppes P (eds) Symposium on the axiomatic method with special reference to physics, North Holland, pp 297\u2013307","DOI":"10.1016\/S0049-237X(09)70035-7"},{"key":"6_CR35","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/BF00540153","volume":"24","author":"P Suppes","year":"1972","unstructured":"Suppes P (1972) Some open problems in the philosophy of space and time. Synthese 24:298\u2013316","journal-title":"Synthese"},{"key":"6_CR36","unstructured":"Szab\u00f3 LE (2009) Empirical foundation of space and time. In: Su\u00e1rez M, Dorato MM, R\u00e9dei M (eds) EPSA07: launch of the European philosophy of science association, Springer. http:\/\/phil.elte.hu\/leszabo\/Preprints\/LESzabo-madrid2007-preprint.pdf"},{"key":"6_CR37","doi-asserted-by":"crossref","unstructured":"Szczerba LW (1977) Interpretability of elementary theories. In: Butts RE, Hintikka J (eds) Logic, foundations of mathematics and computability theory (Proceeding of fifth international congress of logic, methodology and philosophical of science, University of Western Ontario, London), Part I. Reidel, Dordrecht, pp 129\u2013145","DOI":"10.1007\/978-94-010-1138-9_8"},{"key":"6_CR38","unstructured":"Sz\u00e9kely G (2009) First-order logic investigation of relativity theory with an emphasis on accelerated observers. PhD Dissertation, E\u00f6tv\u00f6s Lorand University, Faculty of Sciences, Institute of Mathematics, Budapest, 150pp. ArXiv:1005.0973[gr-qc]"},{"issue":"1\u20132","key":"6_CR39","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s11225-010-9253-7","volume":"95","author":"G Sz\u00e9kely","year":"2010","unstructured":"Sz\u00e9kely G (2010) A geometrical characterization of the twin paradox and its variants. Studia Logica 95(1\u20132):161\u2013182","journal-title":"Studia Logica"},{"key":"6_CR40","unstructured":"Tarski A (1936) Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1:152\u2013278"},{"key":"6_CR41","volume-title":"Undecidable theories","author":"A Tarski","year":"1953","unstructured":"Tarski A, Mostowski A, Robinson RM (1953) Undecidable theories. North-Holland, Amsterdam"},{"key":"6_CR42","first-page":"16","volume-title":"The axiomatic Method with Special Reference to Geometry and Phsics","author":"A Tarski","year":"1959","unstructured":"Tarski A (1959) What is elementary geometry? In: Henkin L, Suppes P, Tarski A (eds) The axiomatic Method with Special Reference to Geometry and Phsics. North-Holland, Amserdam, pp 16\u201329"},{"issue":"2","key":"6_CR43","doi-asserted-by":"publisher","first-page":"175","DOI":"10.2307\/421089","volume":"5","author":"A Tarski","year":"1999","unstructured":"Tarski A, Givant SR (1999) Tarski\u2019s system of geometry. Bull Symbolic Logic 5(2):175\u2013214","journal-title":"Bull Symbolic Logic"},{"key":"6_CR44","volume-title":"Spacetime physics","author":"EF Taylor","year":"1963","unstructured":"Taylor EF, Wheeler JA (1963) Spacetime physics. Freeman, San Francisco"},{"key":"6_CR45","unstructured":"Weatherall JO (2011) Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? (Unpublished manuscript)"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T08:47:58Z","timestamp":1676882878000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_6","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}