On Logical Analysis of Relativity Theories
  The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories. 
Hajnal Andr\'eka and Istv\'an N\'emeti and Judit X. Madar\'asz and   Gergely Sz\'ekely
gr-qc math-ph math.LO math.MP