Recent work in Logic of Spacetime

• Vienna Circle and logical analysis of relativity theory. In: Wiener Kreis und Ungarn, Veröffentlishungen des Instituts Wiener Kreis, Springer Verlag, to appear. Andréka, H. Madarász, J. X. Németi, I. Németi, P.  and Székely, G.

· Visualizing ideas about Gödel-type rotating universes. In "Gödel-type Spacetimes: History and New Developments. Eds: M. Scherfner and M. Plaue. Kurt Gödel Society, Collegium Logicum X, 2010, 77-127. Németi, I. Madarász, J. X.  Andréka, H. and Andai, A.

· A twist in the geometry of rotating black holes: seeking the cause of acausality. General Relativity and Gravitation 40,9 (2008), 65-89. Andréka, H. Németi, I. and Wüthrich, C.

• Axiomatizing relativistic dynamics without conservation postulates. Studia Logica 89,2 (2008), 163-186.  Andréka, H. Madarász, J. X. Németi, I.  and Székely, G.
• Logic of spacetime and relativity. In: Handbook of Spatial Logics. Eds: Aiello, M. Pratt-Hartmann, I., and van Benthem, J. Springer Verlag,  2007. pp.607-711. Andréka, H. Madarász, J. X. and Németi, I.
• First-order logic foundation of relativity theories. In: New Logics for the XXIst Century II, Mathematical Problems from Applied Logics. International Mathematical Series Vol 5, Springer, 2007. pp.217-252. Madarász, J.X., Németi, I. and Székely, G.
• Twin paradox and the logical foundation of relativity theory. Foundation of Physics 36,5 (2006), 681-714. Madarász, J.X., Németi, I. and Székely, G.
• Logical axiomatizations of space-time. Samples from the literature. In: Non-Euclidean geometries. János Bolyai Memorial volume. (A. Prékopa and E. Molnár eds) Mathematics and Its Applications Vol 581, Springer 2006, pp.155-185. Andréka, H., Madarász, J.X. and Németi, I.
• Logical analysis of relativity theories. In: First-order Logic Revisited (Hendricks et al. eds) Logic Verlag, Berlin, 2004. pp.7-36. Andréka, H., Madarász, J.X. and Németi, I.
• Generalizing the logic-approach to space-time towards general relativity: first steps. In: First-order Logic Revisited (Hendricks et al. eds), Logos Verlag, Berlin, 2004. pp.225-268. Madarász, J.X, Németi, I. and Tőke, Cs.
• Logical Analysis of Special Relativity Theory. In: Essays dedicated to Johan van Benthem on the occasion of his 50th birthday. Editors: Gerbrandy, J., Marx, M., de Rijke, M., and Venema,Y. Vossiuspers, Amsterdam University Press, Amsterdam, 1999. CD-ROM, ISBN: 90 5629 104 1, http://www.illc.uva.nl/j50. Andréka, H., Madarász, J.X. and Németi, I.
• Introduction to logical analysis of relativity theories

Course Notes, 2006. (In Hungarian at the time being.)

Recent work in relativistic computing

---