{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T10:19:00Z","timestamp":1772101140238,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1007\/s11225-008-9125-6","type":"journal-article","created":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T10:48:22Z","timestamp":1214909302000},"page":"163-186","source":"Crossref","is-referenced-by-count":19,"title":["Axiomatizing Relativistic Dynamics without Conservation Postulates"],"prefix":"10.1007","volume":"89","author":[{"given":"H.","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. X.","family":"Madar\u00e1sz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Sz\u00e9kely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,2]]},"reference":[{"key":"9125_CR1","first-page":"325","volume":"16","author":"H. Andr\u00e9ka","year":"1981","unstructured":"Andr\u00e9ka H., Burmeister P. and N\u00e9meti I. (1981). \u2018Quasivarieties of partial algebras\u2014a unifying approach towards a two-valued model theory for partial algebras\u2019. Studia Sci. Math. Hungar. 16: 325\u2013372","journal-title":"Studia Sci. Math. Hungar."},{"key":"9125_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., J.X. Madar\u00e1sz, and I. N\u00e9meti, \u2018Logical axiomatizations of spacetime; samples from the literature\u2019, in A. Pr\u00e9kopa and E. Moln\u00e1r (eds.), Non-Euclidean Geometries: J\u00e1nos Bolyai Memorial Volume, Springer, 2006, pp. 155\u2013185. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/lstsamples.ps .","DOI":"10.1007\/0-387-29555-0_8"},{"key":"9125_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., J.X. Madar\u00e1sz, and I. N\u00e9meti, \u2018On the logical structure of relativity theories\u2019, Research report, Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungar. Acad. Sci., Budapest, 2001. With contributions from A. Andai, G. S\u00e1gi, I. Sain and Cs. T\u0151ke. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/Contents.html . 1200\u00a0pp.","DOI":"10.1007\/978-94-017-0452-6_3"},{"key":"9125_CR4","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., J.X. Madar\u00e1sz, and I. N\u00e9meti, \u2018Logic of space-time and relativity\u2019, in Handbook of Spatial Logics, Springer, 2007, pp. 607\u2013711. http:\/\/ftp.mathinst.hu\/pub\/algebraic-logic\/Logicofspacetime.pdf .","DOI":"10.1007\/978-1-4020-5587-4_11"},{"key":"9125_CR5","unstructured":"Andr\u00e9ka, H., J.X. Madar\u00e1sz, I. N\u00e9meti, and G. Sz\u00e9kely, E\u00a0=\u00a0mc 2 derived from geometrical axioms, Research report, Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungar. Acad. Sci., Budapest, 2007."},{"key":"9125_CR6","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., I. N\u00e9meti, and C. W\u00a8utrich, \u2018A twist in the geometry of rotating black holes: seeking the cause of acausality\u2019, General Relativity and Gravitation, to appear.","DOI":"10.1007\/s10714-007-0577-1"},{"issue":"7-8","key":"9125_CR7","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/BF00717578","volume":"8","author":"J. Ax","year":"1978","unstructured":"Ax J. (1978). \u2018The elementary foundations of spacetime\u2019. Found. Phys. 8(7-8): 507\u2013546","journal-title":"Found. Phys."},{"key":"9125_CR8","unstructured":"Chang, C.C., and H.J. Keisler, Model Theory, North\u2013Holland, Amsterdam, 1973, 1990."},{"key":"9125_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. Clarendon, Oxford"},{"key":"9125_CR10","doi-asserted-by":"crossref","first-page":"441","DOI":"10.2307\/2687794","volume":"7","author":"J. Ferreir\u00f3s","year":"2001","unstructured":"Ferreir\u00f3s J. (2001). \u2018The road to modern logic\u2014an interpretation\u2019. B. Symb. Log. 7: 441\u2013484","journal-title":"B. Symb. Log."},{"key":"9125_CR11","unstructured":"Friedman, H., \u2018On foundational thinking 1\u2019, Posting in FOM (Foundations of Mathematics) Archives www.cs.nyu.edu (January 20, 2004)."},{"key":"9125_CR12","unstructured":"Friedman, H., \u2018On foundations of special relativistic kinematics 1\u2019, Posting No 206 in FOM (Foundations of Mathematics) Archives. www.cs.nyu.edu (January 21, 2004)."},{"key":"9125_CR13","unstructured":"Henkin, L., P. Suppes, and A. Tarski (eds.), The axiomatic method with special reference to geometry and physics, Studies in Logic and the Foundations of Mathematics, North\u2013Holland, Amsterdam, 1959."},{"key":"9125_CR14","unstructured":"Hilbert, D., \u2018Mathematische Behandlung der Axiome der Physik\u2019, Akad. Wiss. G\u00f6ttingen, 1900, pp. 272\u2013273. http:\/\/www.mathematik.uni-bielefeld.de\/kersten\/hilbert\/prob6.html ."},{"key":"9125_CR15","doi-asserted-by":"crossref","unstructured":"Hilbert, D., \u2018 \u00dcber den Satz von der Gleichheit der Basiswinkel im gleichschenkligen Dreieck\u2019, Proc. London Math. Soc. 35:50\u201368, 1902\/1903.","DOI":"10.1112\/plms\/s1-35.1.50"},{"key":"9125_CR16","unstructured":"Madar\u00e1sz, J. X., Logic and relativity (in the light of definability theory), PhD thesis, E\u00f6tv\u00f6s Lor\u00e1nd Univ., Budapest, 2002. http:\/\/www.math-inst.hu\/pub\/algebraiclogic\/Contents.html ."},{"issue":"5","key":"9125_CR17","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. and Sz\u00e9kely G. (2006). \u2018Twin paradox and the logical foundation of relativity theory\u2019. Foundations of Physics 36(5): 681\u2013714 arXiv:grqc\/0504118","journal-title":"Foundations of Physics"},{"key":"9125_CR18","doi-asserted-by":"crossref","unstructured":"Pambuccian, V., \u2018Axiomatizations of hyperbolic and absolute geometries\u2019, in A. Pr\u00e9kopa and E. Moln\u00e1r (eds.), Non\u2013Euclidean Geometries: J\u00e1nos Bolyai Memorial Volume, Springer, 2006, pp. 119\u2013153.","DOI":"10.1007\/0-387-29555-0_7"},{"key":"9125_CR19","unstructured":"Rindler, W., Relativity: Special, General, and Cosmological, Oxford University Press, 2001."},{"key":"9125_CR20","unstructured":"Rothenstein, B., and S. Popescu, \u2018Relativistic dynamics without conservation laws\u2019, arXiv:physics\/0605203v1, May 2006."},{"key":"9125_CR21","unstructured":"Simpson, S.G. (ed.), Reverse Mathematics 2001, Lecture Notes in Logic. Association for Symbolic Logic, 2005."},{"key":"9125_CR22","unstructured":"Suppes, P., \u2018Axioms for relativistic kinematics with or without parity\u2019, in Henkin et al. [13]."},{"key":"9125_CR23","doi-asserted-by":"crossref","first-page":"651","DOI":"10.2307\/2024318","volume":"65","author":"P. Suppes","year":"1968","unstructured":"Suppes P. (1968). \u2018The desirability of formalization in science\u2019. J. Philos. 65: 651\u2013664","journal-title":"J. Philos."},{"key":"9125_CR24","unstructured":"Sz\u00e9kely, G., First-order Logic Investigation of Special Relativity extended to Accelerated Observers, PhD thesis, E\u00f6tv\u00f6s Lor\u00e1nd Univ., Budapest, 2008. in preparation."},{"key":"9125_CR25","doi-asserted-by":"crossref","first-page":"504","DOI":"10.2307\/2687796","volume":"7","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2001","unstructured":"V\u00e4\u00e4n\u00e4nen J. (2001). \u2018Second-order logic and foundations of mathematics\u2019. B. Symb. Log. 7: 504\u2013520","journal-title":"B. Symb. Log."},{"key":"9125_CR26","unstructured":"Wole\u0144ski, J., \u2018First-order logic: (philosophical) pro and contra\u2019, in V. F. Hendricks et al. (eds.), First-Order Logic Revisited, Logos Verlag, Berlin, 2004, pp. 369\u2013398."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9125-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-008-9125-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-008-9125-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T00:10:58Z","timestamp":1709079058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-008-9125-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["9125"],"URL":"https:\/\/doi.org\/10.1007\/s11225-008-9125-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7]]}}}