{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T10:19:01Z","timestamp":1772101141783,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,3,22]],"date-time":"2011-03-22T00:00:00Z","timestamp":1300752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s11229-011-9914-8","type":"journal-article","created":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T10:59:10Z","timestamp":1300705150000},"page":"633-649","source":"Crossref","is-referenced-by-count":30,"title":["A logic road from special relativity to general relativity"],"prefix":"10.1007","volume":"186","author":[{"given":"Hajnal","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Judit X.","family":"Madar\u00e1sz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gergely","family":"Sz\u00e9kely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,22]]},"reference":[{"key":"9914_CR1","first-page":"51","volume-title":"Time and logic, a computational approach","author":"H. Andr\u00e9ka","year":"1995","unstructured":"Andr\u00e9ka H., Goranko V., Mikul\u00e1s Sz., N\u00e9meti I., Sain I. (1995) Effective first order temporal logics. In: Bolc L., Sza\u0142as A. (eds) Time and logic, a computational approach. UCL, London, pp 51\u2013129"},{"key":"9914_CR2","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., & N\u00e9meti, I. (2002). On the logical structure of relativity theories. E-book, Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Budapest. With contributions from A. Andai, G. S\u00e1gi, I. Sain, Cs. T\u0151ke. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/olsort.html . (pp. 1312)"},{"key":"9914_CR3","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/0-387-29555-0_8","volume-title":"Non-Euclidean geometries","author":"H. Andr\u00e9ka","year":"2006","unstructured":"Andr\u00e9ka H., Madar\u00e1sz J. X., N\u00e9meti I. (2006) Logical axiomatizations of space-time. Samples from the literature. In: Pr\u00e9kopa A., Moln\u00e1r E. (eds) Non-Euclidean geometries. Springer-Verlag, New York, pp 155\u2013185"},{"key":"9914_CR4","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/978-1-4020-5587-4_11","volume-title":"Handbook of spatial logics","author":"H. Andr\u00e9ka","year":"2007","unstructured":"Andr\u00e9ka H., Madar\u00e1sz J. X., 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-Verlag, Dordrecht, pp 607\u2013711"},{"key":"9914_CR5","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., N\u00e9meti, I., & Sz\u00e9kely, G. (2010). Relativity theory on logical grounds. Budapest: Course Notes. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/kurzus10\/kurzus10.htm ."},{"key":"9914_CR6","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., N\u00e9meti, I., N\u00e9meti, P., & Sz\u00e9kely, G. Vienna Circle and logical analysis of relativity theory. In: F. Stadler (Ed.), Wiener Kreis und Ungarn. Ver\u00f6ffentlishungen des Instituts Wiener Kreis, Springer\u2013Verlag, to appear.","DOI":"10.1007\/978-3-7091-0177-3_11"},{"issue":"5","key":"9914_CR7","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/s10992-007-9075-x","volume":"37","author":"T. Benda","year":"2008","unstructured":"Benda T. (2008) A formal construction of the spacetime manifold. Journal of Philosophical Logic 37(5): 441\u2013478","journal-title":"Journal of Philosophical Logic"},{"key":"9914_CR8","volume-title":"Model theory","author":"C. C. Chang","year":"1990","unstructured":"Chang C. C., Keisler H. J. (1990) Model theory. North-Holland Publishing Co, Amsterdam"},{"key":"9914_CR9","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198596530.001.0001","volume-title":"Introducing Einstein\u2019s relativity","author":"R. d\u2019Inverno","year":"1992","unstructured":"d\u2019Inverno R. (1992) Introducing Einstein\u2019s relativity. Oxford University Press, New York"},{"key":"9914_CR10","unstructured":"Einstein, A. (2006). Relativity. The special and the general theory Penguin Classics. Translated by W. Lawson (original publication in German 1921)."},{"key":"9914_CR11","volume-title":"A mathematical introduction to logic","author":"H. B. Enderton","year":"1972","unstructured":"Enderton H. B. (1972) A mathematical introduction to logic. Academic Press, New York"},{"key":"9914_CR12","volume-title":"Orthogonality and spacetime geometry","author":"R. Goldblatt","year":"1984","unstructured":"Goldblatt R. (1984) Orthogonality and spacetime geometry. Springer-Verlag, New York"},{"key":"9914_CR13","volume-title":"Cylindric algebras. Part I","author":"L. Henkin","year":"1971","unstructured":"Henkin L., Monk J. D., Tarski A. (1971) Cylindric algebras. Part I. North-Holland Publishing Co, Amsterdam"},{"key":"9914_CR14","volume-title":"Model theory, Encyclopedia of mathematics and its applications","author":"W. Hodges","year":"1993","unstructured":"Hodges W. (1993) Model theory, Encyclopedia of mathematics and its applications. Cambridge University Press, Cambridge"},{"key":"9914_CR15","unstructured":"Madar\u00e1sz, J. X. (2002). Logic and relativity (in the light of definability theory). PhD thesis, Budapest: E\u00f6tv\u00f6s Lor\u00e1nd Univ. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/Contents.html ."},{"issue":"5","key":"9914_CR16","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/s10701-005-9041-9","volume":"36","author":"J. X. Madar\u00e1sz","year":"2006","unstructured":"Madar\u00e1sz J. X., N\u00e9meti I., Sz\u00e9kely G. (2006) Twin paradox and the logical foundation of relativity theory. Foundations of Physics 36(5): 681\u2013714","journal-title":"Foundations of Physics"},{"key":"9914_CR17","volume-title":"Gravitation","author":"C. W. Misner","year":"1973","unstructured":"Misner C. W., Thorne K. S., Wheeler J. A. (1973) Gravitation. W. H. Freeman and Co, San Francisco"},{"key":"9914_CR18","unstructured":"Rosinger, E. E. (2008). Two essays on the Archimedean versus non-Archimedean debate. arXiv:0809.4509v3."},{"key":"9914_CR19","unstructured":"Rosinger, E. E. (2009). Special relativity in reduced power algebras. arXiv:0903.0296v1."},{"key":"9914_CR20","unstructured":"Sain, I. (1986). Dynamic logic with nonstandard model theory. Dissertation."},{"key":"9914_CR21","unstructured":"Sz\u00e9kely, G. (2009). First-order logic investigation of relativity theory with an emphasis on accelerated observers. PhD thesis, Budapest: E\u00f6tv\u00f6s Lor\u00e1nd Univ. http:\/\/www.renyi.hu\/~turms\/phd.pdf ."},{"key":"9914_CR22","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/S0049-237X(09)70017-5","volume-title":"The axiomatic method. With special reference togeometry and physics","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 togeometry and physics. North-Holland Publishing Co, Amsterdam, pp 16\u201329"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9914-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-011-9914-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-9914-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T09:44:52Z","timestamp":1712310292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9914-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,22]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9914"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9914-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,22]]}}}