Irodalom a jegyzethez

[AMN02] Andréka, H., Madarász, J. X., Németi, I., On the logical structure of relativity theories. E-book, Alfréd Rényi Institute of
Mathematics, Budapest, 2002. With contributions from Andai, A., Sági, G., Sain, I. és Tőke, Cs. 1312 old.

[AMN03] Andréka, H., Madarász, J. X., Németi, I., Defining new universes in many-sorted logic. Preprint, Alfréd Rényi Institute of
Mathematics, Budapest, 2003. 93 old.

[AMN06]  Andréka, H., Madarász, J. X., Németi, I., Logic of space-time and relativity theory. In: M. Aiello, I. Pratt-Hartmann
and J. van Benthem, eds., Handbook of Spatial Logics. Springer, 2007, pp.607-711.

[M02] Madarász, J. X., Logic and Relativity (in the light of definability theory). PhD thesis, Eötvös Loránd Univ., Budapest, 2002.
http://old.renyi.hu/pub/algebraic-logic/diszi0226.pdf.gz

[MNSz06] Madarász, J. X., Németi, I., Székely, G., Twin Paradox and the logical foundation of relativity theory. Foundation of Physics 36,5 (2006), pp.681-714.

[MNSz07] Madarász, J. X., Németi, I., Székely, G., First-order logic foundation of relativity theories. In: Mathematical Problems from Applied Logic II. New Logics for the XXIst Century. International Mathematical Series Vol 5, Springer, 2007. Eds: Gabbay, D., Goncharov, S.,
Zakharyaschev, M.. pp.217-252.

[Sz09] Székely, G., First-order logic investigation of relativity theory with an emphasis on accelerated observers. PhD thesis, Eötvös Loránd Univ., Budapest, 2009.