{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214143},"publisher-location":"Dordrecht","reference-count":82,"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_11","type":"book-chapter","created":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T09:19:57Z","timestamp":1188638397000},"page":"607-711","source":"Crossref","is-referenced-by-count":30,"title":["Logic of Space-Time and Relativity Theory"],"prefix":"10.1007","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"}]}],"member":"297","reference":[{"issue":"3\u20134","key":"11_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(3\u20134):319\u2013363.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"11_CR2","first-page":"1543","volume":"15","author":"A. D. Alexandrov","year":"1974","unstructured":"Alexandrov, A. D. (1974). On foundations of space-time geometry. I. Soviet Math. Dokl., 15:1543\u20131547.","journal-title":"Soviet Math. Dokl"},{"key":"11_CR3","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., and N\u00e9meti, I. (1998\u20132002). On the logical structure of relativity theories. Technical report, R\u00e9nyi Institute of Mathematics, Budapest. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/Contents.html ."},{"key":"11_CR4","volume-title":"Essays dedicated to Johan van Benthem on the occassion of his 50th birthday.","author":"H. Andr\u00e9ka","year":"1999","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., and N\u00e9meti, I. (1999). Logical analysis of special relativity theory. In Gerbrandy, J., Marx, M., de Rijke, M., and Venema, Y., editors, Essays dedicated to Johan van Benthem on the occassion of his 50th birthday. Vossiuspers, Amsterdam University Press. CD-ROM, ISBN: 90 5629 104 1, http:\/\/www.illc.uva.nl\/j50 ."},{"key":"11_CR5","first-page":"7","volume-title":"First-order Logic Revisited","author":"H. Andr\u00e9ka","year":"2004","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., and N\u00e9meti, I. (2004). Logical analysis of relativity theories. In Hendricks, V., Neuhaus, F., Pedersen, S. A., Scheffler, U., and Wansing, H., editors, First-order Logic Revisited, pages 7\u201336. Logos Verlag, Berlin."},{"key":"11_CR6","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., and N\u00e9meti, I. (2006a). Logical axiomatizations of space-time. Course material on the Internet, http:\/\/ftp.math-inst.hu\/pub\/algebraic-logic\/kurzus-2006\/kurzus-h-2006.htm ."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J. X., and N\u00e9meti, I. (2006b). Logical axiomatizations of space-time. Samples from the literature. In Pr\u00e9kopa, A. and Moln\u00e1r, E., editors, Non-Euclidean Geometries: J\u00e1nos Bolyai Memorial Volume, volume 581 of Mathematics and Its Applications, pages 155\u2013185. Springer Verlag.","DOI":"10.1007\/0-387-29555-0_8"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(82)90004-4","volume":"17","author":"H. Andr\u00e9ka","year":"1982","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., and Sain, I. (1982). A complete logic for reasoning about programs via nonstandard model theory, Parts I\u2013II. Theoretical Computer Science, 17:193\u2013212, 259\u2013278.","journal-title":"Theoretical Computer Science"},{"key":"11_CR9","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 Academic Publishers, second edition. See also http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/handbook.pdf ."},{"key":"11_CR10","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., and W\u00fcthrich, C. (2006c). A twist in the geometry of rotating black holes: seeking the cause of acausality. Manuscript, Budapest and Berne."},{"issue":"7\u20138","key":"11_CR11","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 space-time. Found. Phys., 8(7\u20138):507\u2013546.","journal-title":"Found. Phys."},{"key":"11_CR12","unstructured":"Barbour, J. B. (1989). Absolute or relative motion? Cambridge University Press."},{"key":"11_CR13","volume-title":"A deductive theory of space and time.","author":"S. Basri","year":"1966","unstructured":"Basri, S. (1966). A deductive theory of space and time. North-Holland, Amsterdam."},{"key":"11_CR14","unstructured":"Busemann, H. (1967). Time-like spaces, volume 53 of Dissertationes Math. (Rozprawy Math.). Mathematical Istitute of Polish Academy of Sci."},{"key":"11_CR15","first-page":"12","volume":"14","author":"C. Carath\u00e9odory","year":"1924","unstructured":"Carath\u00e9odory, C. (1924). Zur Axiomatik der speziellen Relativit\u00e4tstheorie. Sitzungsber. phys. math., 14.:12\u201327.","journal-title":"Sitzungsber. phys. math"},{"issue":"24","key":"11_CR16","doi-asserted-by":"publisher","first-page":"6389","DOI":"10.1088\/0264-9381\/19\/24\/308","volume":"19","author":"H. Casini","year":"2002","unstructured":"Casini, H. (2002). The logic of causally closed space-time subsets. Classical and Quantum Gravity, 19(24):6389\u20136404. http:\/\/arxiv.org\/abs\/gr-qc\/0205013 .","journal-title":"Classical and Quantum Gravity"},{"key":"11_CR17","unstructured":"Chang, C. C. and Keisler, H. J. (1973). Model theory. North-Holland."},{"key":"11_CR18","unstructured":"d\u2019Inverno, R. (1983). Introducing Einstein\u2019s Relativity. Oxford University Press."},{"key":"11_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195095913.001.0001","volume-title":"Bangs, crunches, whimpers, and shrieks. Singularities and acausalities in relativistic spacetimes","author":"J. Earman","year":"1995","unstructured":"Earman, J. (1995). Bangs, crunches, whimpers, and shrieks. Singularities and acausalities in relativistic spacetimes. Oxford University Press, Oxford."},{"key":"11_CR20","first-page":"63","volume-title":"General relativity, Papers in Honor of J.L. Synge","author":"J. Ehlers","year":"1972","unstructured":"Ehlers, J., Pirani, F. A. E., and Shild, A. (1972). The geometry of free fall and light propagation. In General relativity, Papers in Honor of J.L. Synge, pages 63\u201384. Clarendon Press, Oxford."},{"key":"11_CR21","volume-title":"Relativity (The special and the general theory).","author":"A. Einstein","year":"1961","unstructured":"Einstein, A. (1961). Relativity (The special and the general theory). Wings Books, New York, Avenel, New Jersey."},{"issue":"2","key":"11_CR22","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1023\/A:1014019225365","volume":"41","author":"G. Etesi","year":"2002","unstructured":"Etesi, G. and N\u00e9meti, I. (2002). Non-Turing computations via Malament-Hogarth space-times. International Journal of Theoretical Physics, 41(2):341\u2013370.","journal-title":"International Journal of Theoretical Physics"},{"key":"11_CR23","unstructured":"Friedman, H. (2004). On foundational thinking 1, Posting in FOM (Foundations of Mathematics). Archives http:\/\/www.cs.nyu.edu ."},{"key":"11_CR24","unstructured":"Friedman, M. (1983). Foundations of Space-Time Theories. Relativistic Physics and Philosophy of Science. Princeton University Press."},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1103\/RevModPhys.21.447","volume":"21","author":"K. G\u00f6del","year":"1949","unstructured":"G\u00f6del, K. (1949). An example of a new type of cosmological solutions of Einstein\u2019s field equations of gravitation. Reviews of Modern Physics, 21: 447\u2013450.","journal-title":"Reviews of Modern Physics"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00370321","volume":"39","author":"R. Goldblatt","year":"1980","unstructured":"Goldblatt, R. (1980). Diodorean modality in Minkowski spacetime. Studia Logica, 39:219\u2013236.","journal-title":"Studia Logica"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Goldblatt, R. (1987). Orthogonality and space-time Geometry. Springer-Verlag.","DOI":"10.1007\/978-1-4684-6345-3"},{"issue":"2","key":"11_CR28","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1070\/RM1982v037n02ABEH003942","volume":"37","author":"A. K. Guts","year":"1982","unstructured":"Guts, A. K. (1982). Axiomatic relativity theory. Russian Math. Survey, 37(2): 41\u201389.","journal-title":"Russian Math. Survey"},{"key":"11_CR29","unstructured":"Hamilton, A. (1997-2001). Falling into a black hole. Internet page, http:\/\/casa.colorado.edu\/ajsh\/schw.shtml ."},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Hawking, S. W. and Ellis, G. F. R. (1973). The large scale structure of space-time. Cambridge University Press.","DOI":"10.1017\/CBO9780511524646"},{"key":"11_CR31","volume-title":"Cylindric Algebras Parts I, II.","author":"L. Henkin","year":"1985","unstructured":"Henkin, L., Monk, J. D., and Tarski, A. (1985). Cylindric Algebras Parts I, II. North-Holland, Amsterdam."},{"key":"11_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095613","volume-title":"Cylindric Set Algebras","author":"L. Henkin","year":"1981","unstructured":"Henkin, L., Monk, J. D., Tarski, A., Andr\u00e9ka, H., and N\u00e9meti, I. (1981). Cylindric Set Algebras, volume 883 of Lecture Notes in Mathematics. Springer-Verlag, Berlin."},{"key":"11_CR33","volume-title":"Grundlagen der Geometrie","author":"D. Hilbert","year":"1899\/1977","unstructured":"Hilbert, D. (1899\/1977). Grundlagen der Geometrie. Lepzig \/ B. G. Teubner Verlag, Stuttgart."},{"key":"11_CR34","volume-title":"Relation algebras by games","author":"R. Hirsch","year":"2002","unstructured":"Hirsch, R. and Hodkinson, I. (2002). Relation algebras by games. North-Holland."},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Hodges, W. (1993). Model theory. Cambridge University Press.","DOI":"10.1017\/CBO9780511551574"},{"key":"11_CR36","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1093\/bjps\/55.4.681","volume":"55","author":"M. L. Hogarth","year":"2004","unstructured":"Hogarth, M. L. (2004). Deciding arithmetic using SAD computers. Brit. J. Phil. Sci., 55:681\u2013691.","journal-title":"Brit. J. Phil. Sci."},{"key":"11_CR37","volume-title":"An Alexandrov-Zeeman type theorem and relativity theory. Paper for scientific student contest","author":"R. Horv\u00e1th","year":"2005","unstructured":"Horv\u00e1th, R. (2005). An Alexandrov-Zeeman type theorem and relativity theory. Paper for scientific student contest, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest."},{"key":"11_CR38","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1017\/S030500410004144X","volume":"63","author":"E. H. Kronheimer","year":"1967","unstructured":"Kronheimer, E. H. and Penrose, R. (1967). On the structure of causal spaces. Proc. Camb. Phil. Soc., 63:481\u2013501.","journal-title":"Proc. Camb. Phil. Soc."},{"key":"11_CR39","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/BF00540151","volume":"24","author":"R. W. Latzer","year":"1972","unstructured":"Latzer, R. W. (1972). Nondirected light signals and the structure of time. Synthese, 24:236\u2013280.","journal-title":"Synthese"},{"key":"11_CR40","unstructured":"Madar\u00e1sz, J. X. (2002). Logic and Relativity (in the light of definability theory). PhD thesis, ELTE, Budapest. http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/Contents.html ."},{"key":"11_CR41","unstructured":"Madar\u00e1sz, J. X., N\u00e9meti, I., and Sz\u00e9kely, G. (2006a). First-order logic foundation of relativity theories. In New Logics for the XXIst Century II, Mathematical Problems from Applied Logics, volume 5 of International Mathematical Series. Springer. To appear. philsci-archive.pitt.edu\/archive\/00002726\/."},{"issue":"5","key":"11_CR42","doi-asserted-by":"publisher","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. (2006b). Twin paradox and the logical foundation of relativity theory. Foundations of Physics, 36(5):681\u2013714. http:\/\/www.arxiv.org\/abs\/gr-qc\/0504118 .","journal-title":"Foundations of Physics"},{"key":"11_CR43","first-page":"225","volume-title":"First-order Logic Revisited","author":"J. X. Madar\u00e1sz","year":"2004","unstructured":"Madar\u00e1sz, J. X., N\u00e9meti, I., and T&odacute;ke, Cs. (2004). On generalizing the logic-approach to space-time towards general relativity: first steps. In Hendricks, V., Neuhaus, F., Pedersen, S. A., Scheffler, U., and Wansing, H., editors, First-order Logic Revisited, pages 225\u2013268. Logos Verlag, Berlin."},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Makkai, M. (1993). Duality and definability in first order logic. Number 503 in Memoirs of the AMS. AMS.","DOI":"10.1090\/memo\/0503"},{"key":"11_CR45","volume-title":"Gravitation","author":"C. W. Misner","year":"1970","unstructured":"Misner, C. W., Thorne, K. S., and Wheeler, J. A. (1970). Gravitation. Freeman and Co, New York. Twentieth Printing 1997."},{"issue":"1","key":"11_CR46","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1093\/bjps\/37.1.25","volume":"37","author":"J. Mundy","year":"1986","unstructured":"Mundy, J. (1986). The philosophical content of Minkowski geometry. Britisch J. Philos. Sci., 37(1):25\u201354.","journal-title":"Britisch J. Philos. Sci."},{"key":"11_CR47","first-page":"398","volume-title":"Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings","author":"I. N\u00e9meti","year":"2006","unstructured":"N\u00e9meti, I. and Andr\u00e9ka, H. (2006). Can general relativistic computers break the Turing barrier? In Beckmann, A. Berger, U. Loewe, B. and Tucker, J. V. editors, Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings, volume 3988 of Lecture Notes in Computer Science, pages 398\u2013412. Springer-Verlag, Berlin-Heidelberg."},{"key":"11_CR48","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/j.amc.2005.09.075","volume":"178","author":"I. N\u00e9meti","year":"2006","unstructured":"N\u00e9meti, I. and D\u00e1vid, Gy. (2006). Relativistic computers and the Turing barrier. Applied Mathematics and Computation, 178:118\u2013142.","journal-title":"Applied Mathematics and Computation"},{"volume-title":"The science in science fiction","year":"1982","key":"11_CR49","unstructured":"Nicholls, P., editor (1982). The science in science fiction. Crescent Books, New York."},{"key":"11_CR50","unstructured":"Novikov, I. D. (1998). The river of time. Cambridge University Press."},{"key":"11_CR51","unstructured":"O\u2019Neill, B. (1995). The geometry of Kerr black holes. A K Peters."},{"key":"11_CR52","unstructured":"Pambuccian, V. (2006). Alexandrov-Zeeman type theorems expressed in terms of definability. Aequationes Mathematicae. to appear."},{"key":"11_CR53","volume-title":"The road to reality. A complete guide to the laws of the Universe","author":"R. Penrose","year":"2004","unstructured":"Penrose, R. (2004). The road to reality. A complete guide to the laws of the Universe. Jonathan Cape, London."},{"key":"11_CR54","volume-title":"Axiomatization of the theory of relativity","author":"H. Reichenbach","year":"1969","unstructured":"Reichenbach, H. (1969). Axiomatization of the theory of relativity. University of California Press, Berkeley. Translated by M. Reichenbach. Original German edition published in 1924."},{"key":"11_CR55","unstructured":"Rindler, W. (2001). Relativity. Special, General and Cosmological. Oxford University Press."},{"key":"11_CR56","unstructured":"Robb, A. A. (1914). A Theory of Time and Space. Cambridge University Press. Revised edition, Geometry of Time and Space, published in 1936."},{"key":"11_CR57","volume-title":"Nonstandard dynamic logic. Dissertation for candidate\u2019s degree","author":"I. Sain","year":"1986","unstructured":"Sain, I. (1986). Nonstandard dynamic logic. Dissertation for candidate\u2019s degree, Hungarian Academy of Sciences, Budapest. In Hungarian."},{"key":"11_CR58","first-page":"1","volume":"1","author":"J. Schr\u00f6ter","year":"2007","unstructured":"Schr\u00f6ter, J. (2007). A new formulation of general relativity, Parts I-III. Adv. Theor. Math. Phys., 1:1\u201370.","journal-title":"Adv. Theor. Math. Phys."},{"key":"11_CR59","volume-title":"Independent axioms for Minkowski space-time","author":"J. W. Schutz","year":"1997","unstructured":"Schutz, J. W. (1997). Independent axioms for Minkowski space-time. Longoman, London."},{"key":"11_CR60","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. Hochschul text, viii+482pp."},{"key":"11_CR61","first-page":"437","volume-title":"Chronological future modality in Minkowski space-time. In Advances in Modal Logic-2002","author":"V. Shehtman","year":"2003","unstructured":"Shehtman, V. and Shapirovsky, I. (2003). Chronological future modality in Minkowski space-time. In Advances in Modal Logic-2002, pages 437\u2013459. King\u2019s College Publications, London."},{"key":"11_CR62","unstructured":"Simpson, S. G., editor (2005). Reverse Mathematics 2001. Lecture Notes in Logic,. Association for Symbolic Logic. pp. x+401."},{"key":"11_CR63","unstructured":"Smolin, L (2001). Three roads to quantum gravity. Basic Books."},{"key":"11_CR64","doi-asserted-by":"crossref","unstructured":"Suppes, P. (1959). Axioms for relativistic kinematics with or without parity. In Henkin, L., Tarski, A., and Suppes, P., editors, Symposium on the Axiomatic Method with Special Reference to Geometry and Physics, pages 291\u2013307. North-Holland.","DOI":"10.1016\/S0049-237X(09)70035-7"},{"key":"11_CR65","doi-asserted-by":"publisher","first-page":"651","DOI":"10.2307\/2024318","volume":"27","author":"P. Suppes","year":"1968","unstructured":"Suppes, P. (1968). The desirability of formalization in science. The Journal of Philosophy, 27:651\u2013664.","journal-title":"The Journal of Philosophy"},{"key":"11_CR66","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":"11_CR67","volume-title":"The Problem of Open Future, Determinism in the light of relativity and quantum theory","author":"L. E. Szab\u00f3","year":"2002","unstructured":"Szab\u00f3, L. E. (2002). The Problem of Open Future, Determinism in the light of relativity and quantum theory. Typotex, Budapest."},{"key":"11_CR68","unstructured":"Szab\u00f3, L. E. (2006). Empiricist studies on special relativity theory. Book manuscript, Budapest."},{"key":"11_CR69","first-page":"491","volume":"18","author":"L.W. Szczerba","year":"1970","unstructured":"Szczerba, L.W. (1970). Independence of Pasch\u2019s axiom. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys., 18:491\u2013498.","journal-title":"Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys."},{"key":"11_CR70","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1017\/S1446788700005188","volume":"8","author":"G. Szekeres","year":"1968","unstructured":"Szekeres, G. (1968). Kinematic geometry: an axiomatic system for Minkowski space-time. Journal of the Australian Mathematical Society, 8:134\u2013160.","journal-title":"Journal of the Australian Mathematical Society"},{"key":"11_CR71","doi-asserted-by":"crossref","unstructured":"Szmielew, W. (1974). The role of the Pasch axiom in the foundations of Euclidean Geometry. In Proc. of the Tarski Symp. held in Berkeley in 1971, pages 123\u2013132. Providence, RI.","DOI":"10.1090\/pspum\/025\/0373872"},{"key":"11_CR72","doi-asserted-by":"crossref","unstructured":"Tarski, A. (1959). What is elementary geometry? In Henkin, L., Tarski, A., and Suppes, P., editors, Symposium on the Axiomatic Method with Special Reference to Geometry and Physics, pages 16\u201329. North-Holland.","DOI":"10.1016\/S0049-237X(09)70017-5"},{"key":"11_CR73","unstructured":"Tarski, A. and Givant, S. (1987). A formalization of set theory without variables, volume 41 of AMS Colloquium Publications. Providence, RI."},{"key":"11_CR74","unstructured":"Taylor, E. F. and Wheeler, J. A. (2000). Exploring Black Holes. Introduction to General Relativity. Addison Wesley Longman."},{"key":"11_CR75","unstructured":"Thorne, K. (1994). Black holes and time warps. Einstein\u2019s outrageous legacy. W. W. Norton and Company."},{"key":"11_CR76","volume-title":"Exploring logical dynamics","author":"J. A. F. K. van Benthem","year":"1996","unstructured":"van Benthem, J. A. F. K. (1996). Exploring logical dynamics. Studies in Logic, Language and Information. CSLI Publications, Stanford."},{"key":"11_CR77","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/BF00485263","volume":"51","author":"J. F. A. K. van Benthem","year":"1982","unstructured":"van Benthem, J. F. A. K. (1982). The logical study of science. Synthese, 51: 431\u2013472.","journal-title":"Synthese"},{"key":"11_CR78","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The logic of time","author":"J. F. A. K. van Benthem","year":"1983","unstructured":"van Benthem, J. F. A. K. (1983). The logic of time, volume 156 of Synthese Library. Reidel Pub. Co., Dordrecht."},{"key":"11_CR79","doi-asserted-by":"crossref","unstructured":"Wald, R. M. (1984). General Relativity. The University of Chicago Press.","DOI":"10.7208\/chicago\/9780226870373.001.0001"},{"key":"11_CR80","doi-asserted-by":"crossref","unstructured":"Walker, A. G. (1959). Axioms for Cosmology. In Henkin, L., Tarski, A., and Suppes, P., editors, Symposium on the Axiomatic Method with Special Reference to Geometry and Physics, pages 308\u2013321. North-Holland.","DOI":"10.1016\/S0049-237X(09)70036-9"},{"key":"11_CR81","unstructured":"Winnie, J. A. (1977). The causal theory of space-time. In Earman, J. S., Glymour, C. N., and Stachel, J. J., editors, Foundations of space-time Theories, pages 134\u2013205. University of Minnesota Press."},{"key":"11_CR82","unstructured":"W\u00fcthrich, C. (1999). On time machines in Kerr-Newman spacetime. Master\u2019s thesis, University of Berne."}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T18:18:24Z","timestamp":1708193904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-5587-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781402055867","9781402055874"],"references-count":82,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_11","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}