29 references, page 1 of 3 [1] H. Andr´eka, J. X. Madar´asz, and I. N´emeti, with contributions from: A. Andai, G. Sa´gi, I. Sain, and Cs. T˝oke. On the logical structure of relativity theories. Research report, Alfr´ed R´enyi Institute of Mathematics, Hungar. Acad. Sci., Budapest, 2002. http://www.math-inst.hu/pub/algebraic-logic/Contents.html.
[2] H. Andr´eka, J. X. Madar´asz, and I. N´emeti. Logical axiomatizations of spacetime. Samples from the literature. In A. Pr´ekopa and E. Molna´r, editors, NonEuclidean geometries, pages 155-185. Springer-Verlag, New York, 2006.
[3] H. Andr´eka, J. X. Madar´asz, and I. N´emeti. Logic of space-time and relativity theory. In M. Aiello, I. Pratt-Hartmann, and J. van Benthem, editors, Handbook of spatial logics, pages 607-711. Springer-Verlag, Dordrecht, 2007.
[4] H. Andr´eka, J. X. Madar´asz, I. N´emeti, and G. Sz´ekely. Axiomatizing relativistic dynamics without conservation postulates. Studia Logica, 89(2):163-186, 2008.
[5] H. Andr´eka, J. X. Madar´asz, I. N´emeti, and G. Sz´ekely. A logic road from special relativity to general relativity. Synthese, pages Online-first: 1-17, 2011.
[6] H. Andr´eka, J. X. Madar´asz, I. N´emeti, and G. Sz´ekely. What are the numbers in which spacetime?, 2012. In preparation.
[7] J. Ax. The elementary foundations of spacetime. Found. Phys., 8(7-8):507-546, 1978.
[8] C. C. Chang and H. J. Keisler. Model theory. North-Holland Publishing Co., Amsterdam, 1990.
[9] OPERA collaboration. Measurement of the neutrino velocity with the OPERA detector in the CNGS beam, 2011. arXiv:1109.4897v1 [hep-ex].
[10] A. Einstein. Zur Elektrodynamik bewegter K¨orper. Annalen der Physik, 17:891-921, 1905.