1. Aiello, M. and van Benthem, J. (2002). A modal walk through space. Journal of Applied Non-Classical Logics, 12(3–4):319–363.
2. Alexandrov, A. D. (1974). On foundations of space-time geometry. I. Soviet Math. Dokl., 15:1543–1547.
3. Andréka, H., Madarász, J. X., and Németi, I. (1998–2002). On the logical structure of relativity theories. Technical report, Rényi Institute of Mathematics, Budapest. http://www.math-inst.hu/pub/algebraic-logic/Contents.html .
4. Andréka, H., Madarász, J. X., and Németi, 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 .
5. Andréka, H., Madarász, J. X., and Németi, 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–36. Logos Verlag, Berlin.