1. Andréka H, Madarász JX, Németi I (2001) Defining new universes in many-sorted logic. Mathematical Institute of the Hungarian Academy of Sciences, Budapest, p 93 (Preprint)
2. Andréka H, Madarász JX, Németi I (2002) On the logical structure of relativity theories. Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest. Research report, 5 July 2002, with contributions from Andai A, Sági G, Sain I, Tőke Cs, 1312 pp. http://www.math-inst.hu/pub/algebraic-logic/Contents.html
3. Andréka H, Madarász JX, Németi I (2007) Logic of space-time and relativity theory. In: Aiello M, Pratt-Hartmann I, van Benthem J (eds) Handbook of spatial logics. Springer, Berlin, pp 607–711
4. Andréka H, Madarász JX, Németi I, Németi P, Székely G (2011) Vienna circle and logical analysis of relativity theory. In: Máte A, Rédei M, Stadler F (eds) The Vienna circle in Hungary (Der Wiener Kreis in Ungarn). Veroffentlichungen des Instituts Wiener Kreis, Band 16, Springer, New York, pp. 247–268
5. Andréka H, Madarász JX, Németi I, Székely G (2012) A logic road from special relativity to general relativity. Synthese 186(3):633–649