1. Andréka H., Goranko V., Mikulás Sz., Németi I., Sain I. (1995) Effective first order temporal logics. In: Bolc L., Szałas A. (eds) Time and logic, a computational approach. UCL, London, pp 51–129
2. Andréka, H., Madarász, J. X., & Németi, I. (2002). On the logical structure of relativity theories. E-book, Alfréd Rényi Institute of Mathematics, Budapest. With contributions from A. Andai, G. Sági, I. Sain, Cs. Tőke. http://www.math-inst.hu/pub/algebraic-logic/olsort.html . (pp. 1312)
3. Andréka H., Madarász J. X., Németi I. (2006) Logical axiomatizations of space-time. Samples from the literature. In: Prékopa A., Molnár E. (eds) Non-Euclidean geometries. Springer-Verlag, New York, pp 155–185
4. Andréka H., Madarász J. X., 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-Verlag, Dordrecht, pp 607–711
5. Andréka, H., Madarász, J. X., Németi, I., & Székely, G. (2010). Relativity theory on logical grounds. Budapest: Course Notes. http://www.math-inst.hu/pub/algebraic-logic/kurzus10/kurzus10.htm .