1. Logical axiomatizations of space-time. Samples from the literature;Andréka,2006
2. Logic of space-time and relativity theory;Andréka,2007
3. Axiomatizing relativistic dynamics without conservation postulates;Andréka;Stud. Log.,2008
4. A logic road from special relativity to general relativity;Andréka;Synthese,2011