Some of my writings:

---

---

• A note on "Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox" =>[Royal Society Publishing] =>[arXiv]
  to appear in Proc. R. Soc. A
  Coauthors: H. Andréka, J. X. Madarász and I. Németi.

---

• Special Relativity over the Field of Rational Numbers =>[springer] =>[arXiv]
  to appear in IJTP
  Coauthor: J. X. Madarász.

---

• The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity =>[arXiv]
  to appear in ROMP
  

---

• The Existence of Superluminal Particles is Consistent with Relativistic Dynamics =>[arXiv]
  in preperation
  Coauthor: J. X. Madarász.

---

• What are the numbers, and in which spacetime? =>[arXiv]
  in preperation
  Coauthors: H. Andréka, J. X. Madarász and I. Németi.

---

• What properties of numbers are needed to model accelerated observers in relativity? =>[arXiv]
  in preperation
  

---

---

1. Existence of Faster Than Light Signals Implies Hypercomputation Already in Special Relativity =>[springer] =>[arXiv]
   Lecture Notes in Computer Science 7318, pp. 528-538. (2012).
   Coauthor: P. Németi.

---

2. Closed Timelike Curves in Relativistic Computation =>[worldscientific] =>[arXiv]
   Parallel Process. Lett. 22 03 15pp. (2012).
   Coauthors: H. Andréka and I. Németi.

---

3. A logic road from special relativity to general relativity  =>[springer] =>[arXiv] =>[pdf]
   Synthese 186 3, pp. 633-469. (2012). Coauthors: H. Andréka, J. X. Madarász and I. Németi.

---

4. On Logical Analysis of Relativity Theories =>[arXiv]
   Hungarian Phil Review; 54 2010/4; 2011; pp.204-222.
   Coauthors: H. Andréka, J. X. Madarász and I. Németi.

---

5. A Geometrical Characterization of the Twin Paradox and its Variants  =>[springer] =>[arXiv] =>[pdf]
   Studia Logica 95 1-2, 2010, pp.161-182., Special Issue: The Contributions of Logic to the Foundations of Physics

---

6. New Challenges in the Axiomatization of Relativity Theory =>[pdf]
   Proceedings of the New Challenges in the Field of Military Sciences 2010 7th International Scientific Conference;
   Ákos Poroszlai, Gábor Poroszlai, Zoltán Petrák; Bolyai János Military Foundation; Budapest, Hungary, 2010.; 8pp. (CD)

---

7. On Why-Questions in Physics  =>[springer] =>[pdf]
   In: The Vienna Circle in Hungary; A. Máté, M. Rédei, F. Stadler, (Eds.) Springer-Verlag; Wien; 2011; pp.181-189.

---

8. Vienna Circle and Logical Analysis of Relativity Theory =>[springer] =>[pdf]
   In: The Vienna Circle in Hungary; A. Máté, M. Rédei, F. Stadler, (Eds.) Springer-Verlag; Wien; 2011; pp.147-267.
   Coauthors: H. Andréka, J. X. Madarász, I. Németi and P. Németi.

---

9. Comparing Relativistic and Newtonian Dynamics in First-Order Logic =>[springer] =>[pdf]
   In: The Vienna Circle in Hungary; A. Máté, M. Rédei, F. Stadler, (Eds.) Springer-Verlag; Wien; 2011; pp.155-179.
   Coauthor: J. X. Madarász

---

10. First-Order Logic Investigation of Relativity Theory =>[doktori.hu] =>[pdf] =>[html]
    with an Emphasis on Accelerated Observers,
    PhD thesis ELTE, Budapest, (2009)

---

11. Axiomatizing relativistic dynamics without conservation postulates   =>[springer] =>[arXiv]
    Studia Logica 89 2, pp.163-186 (2008).
    Coauthors: H. Andréka, J. X. Madarász and I. Németi.

---

12. First-Order Logic Foundation of Relativity Theories  =>[arXiv]
    In: D. M. Gabbay, M. Zakharyaschev, S. S. Goncharov (eds.),
    New Logics for the XXI-st Century II, Mathematical Problems from Applied Logics,
    International Mathematical Series Vol 5, Springer, (2007).
    Coauthors: J. X. Madarász and I. Németi.

---

13. Twin Paradox and the logical foundation of relativity theory =>[springer] =>[arXiv]
    Found. Phys. 36 5, pp.681-714 (2006).
    Coauthors: J. X. Madarász and I. Németi.

---

14. A First Order Logic Investigation of the Twin Paradox and Related Subjects =>[pdf]
    Master's thesis, ELTE Univeristy, 47pp., (2004).

---

15. A logical investigation of inertial and accelerated observers in flat space-times =>[pdf]
    Logic and Computer Science. Proceedings of the Kalmár Workshop (Eds: Gécseg F, Csirik J, Turán Gy)
    Department of Informatics, JATE University of Szeged, Szeged, Hungary, (2003), pp. 45-57.
    Coauthors: H. Andréka, J. X. Madarász and I. Németi.

---

16. Az óraparadoxon elsôrendû logikai tárgyalásban =>[pdf]
    TDK paper, ELTE University, 23pp., (2003).

---

---