Publications pdfreaders.org
(see [html] for selected publications)
  1. Conceptual distance and algebras of concepts
    The Review of Symbolic Logic 18(1) pp. 300-315 (2025)
    Coauthor: Mohamed Khaled
    [doi] [html]
  2. Testing Definitional Equivalence of Theories via Automorphism Groups
    The Review of Symbolic Logic 17(4) pp. 1097-1118. (2024)
    Coauthors: H. Andréka, J. X. Madarász I. Németi
  3. On the networks of large embeddings
    Algebra Universalis 85, Paper:33, pp. 1-30. (2024)
    Coauthors: Tuğba Aslan, Mohamed Khaled
    [doi] [ pdf]
  4. No Faster-Than-Light Observers (GenRel)
    Archive of Formal Proofs, March 5,pp. 1-229. (2023)
    Coauthors: M. Stannett, Edward, Higgins, H. Andréka, J. X. Madarász I. Németi
    [html]
  5. Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
    Annals of Pure and Applied Logic 173(5) 103100 (2022)
    Coauthors: H. Andréka, J. X. Madarász I. Németi
    [doi] [pdf]
  6. Groups of Worldview Transformations Implied by Einstein’s Special Principle of Relativity over Arbitrary Ordered Fields
    The Review of Symbolic Logic 15(2) pp. 334-361 (2022)
    Coauthors: J. X. Madarász, and M. Stannett
    [doi]
  7. Investigations of isotropy and homogeneity of spacetime in first-order logic
    Annals of Pure and Applied Logic 173(9) pp. 1-35(2022)
    J. X. Madarász, and M. Stannett
    [doi] [pdf]
  8. Groups of Worldview Transformations Implied by Isotropy of Space
    Journal of Applied Logics - IfCoLog Journal 8(3) pp. 809-876 (2021)
    Coauthors: J. X. Madarász, and M. Stannett
  9. Algebras of concepts and their networks
    In: T. Allahviranloo, S. Salahshour, N. Arica (Eds.)
    Progress in Intelligent Decision Science, Proceeding of IDS 2020
    Springer, pp.611-622. (2021)
    Coauthor: Mohamed Khaled
  10. Distances Between Formal Theories
    The Review of Symbolic Logic 13:(3) pp. 633-654.(2020)
    Coauthors: Mohamed Khaled, Koen Lefever, and Michèle Friend
    [doi] [philsci-archive] [arXiv]
  11. On Generalization of Definitional Equivalence to Non-Disjoint Languages
    Journal of Philosophical Logic 48:(4) pp. 709-729. (2019)
    Coauthor: Koen Lefever
    [doi] [springer] [arXiv] [philsci-archive]
  12. Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory
    Journal of Applied Logics 5(4): pp. 907-925. (2018)
    Coauthors: J. X. Madarász, and M. Stannett
  13. Comparing Classical And Relativistic Kinematics In First-Order Logic
    Logique & Analyse 61(241): pp. 57-117 (2018)
    Coauthor: Koen Lefever
    [arXiv] [philsci-archive]
  14. Relativistic Computation
    In: M. E. Cuffaro and S. C. Fletcher (Eds.),
    Physical Perspectives on Computation, Computational Perspectives on Physics,
    Cambridge University Press, pp. 195-216. (2018)
    Coauthors: H. Andréka, J. X. Madarász I. Németi
  15. Three Different Formalisations of Einstein’s Relativity Principle
    The Review of Symbolic Logic 10:(3) pp. 530-548. (2017)
    Coauthors: J. X. Madarász, and M. Stannett
    [pdf] [arXiv]
  16. On some symmetry axioms in relativity theories
    Symmetry: Culture and Science 26:(4) pp. 405-420. (2015)
    [arXiv]
  17. Axiomatizing Relativistic Dynamics using Formal Thought Experiments
    Synthese: 192:(7) pp. 2183-2222 (2015)
    Coauthor: Attila Molnár
    [Springer] [philsci-archive]
  18. What properties of numbers are needed to model accelerated observers in relativity?
    In: Beziau J-Y, Krause D, Arenhart J B (eds.)
    Conceptual Clarifications: Tributes to Patrick Suppes (1922-2014)
    London: College Publications, pp. 161-174. (2015)
    [arXiv]
  19. Logic and relativity theory
    Synthese 192:(7) pp. 1937-1938. (2015)
    [Springer]
  20. The Existence of Superluminal Particles is Consistent with Relativistic Dynamics
    Journal of Applied Logic 12:(4) pp. 477-500. (2014)
    Coauthor: J. X. Madarász
    [ScienceDirect] [arXiv]
  21. Faster than light motion does not imply time travel
    Classical and Quantum Gravity 31:(9) Paper 095005. 11 pp. (2014)
    Coauthors: H. Andréka, J. X. Madarász, I. Németi and M. Stannett
    [IOP Publishing] [arXiv] [pdf]
  22. Why Do the Relativistic Masses and Momenta of Faster-than-Light Particles Decrease as their Speeds Increase?
    Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 10(005): 21 pages (2014)
    Coauthors: M. Stannett and J. X. Madarász
    [SIGMA] [arXiv]
  23. A note on ``Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox''
    Proceedings of the Royal Society A 469(2154):6pp. (2013)
    Coauthors: H. Andréka, J. X. Madarász and I. Németi
    [Royal Society Publishing] [arXiv]
  24. The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
    Reports on Mathematical Physics 72(2): pp. 133-152 (2013)
    [arXiv]
  25. Special Relativity over the Field of Rational Numbers
    International Journal of Theoretical Physics 52(5): pp. 1706-1718 (2013)
    Coauthor: J. X. Madarász
    [Springer] [arXiv]
  26. Existence of Faster Than Light Signals Implies Hypercomputation Already in Special Relativity
    Lecture Notes in Computer Science 7318: pp. 528-538. (2012)
    Coauthor: P. Németi.
    [Springer] [arXiv]
  27. Closed Timelike Curves in Relativistic Computation
    Parallel Process. Lett. 22(03): 15pp. (2012)
    Coauthors: H. Andréka and I. Németi
    [worldscientific] [arXiv]
  28. A logic road from special relativity to general relativity
    Synthese 186(3): pp. 633-469 (2012)
    Coauthors: H. Andréka, J. X. Madarász and I. Németi
    [Springer] [arXiv] [pdf]
  29. On Logical Analysis of Relativity Theories
    Hungarian Phil. Review 54(2010/4): pp.204-222 (2011)
    Coauthors: H. Andréka, J. X. Madarász and I. Németi
    [arXiv]
  30. A Geometrical Characterization of the Twin Paradox and its Variants
    Studia Logica 95(1-2): pp. 161-182 (2010)
    Special Issue: The Contributions of Logic to the Foundations of Physics.
     [Springer] [arXiv] [pdf]
  31. New Challenges in the Axiomatization of Relativity Theory
    In: Á. Poroszlai, G. Poroszlai, Z. Petrák (eds.)
    Proceedings of the New Challenges in the Field of Military Sciences
    Budapest, Bolyai János Military Foundation 8pp. (2010)
    [pdf]
  32. On Why-Questions in Physics
    In: A. Máté, M. Rédei, F. Stadler, (Eds.)
    The Vienna Circle in Hungary
    Springer, Wien, pp.181-189. (2011)
     [Springer] [pdf]
  33. Vienna Circle and Logical Analysis of Relativity Theory
    In: A. Máté, M. Rédei, F. Stadler, (Eds.)
    The Vienna Circle in Hungary
    Springer, Wien, pp.147-267. (2011)
    Coauthors: H. Andréka, J. X. Madarász, I. Németi and P. Németi.
    [Springer] [pdf]
  34. Comparing Relativistic and Newtonian Dynamics in First-Order Logic
    In: A. Máté, M. Rédei, F. Stadler, (Eds.)
    The Vienna Circle in Hungary
    Springer, Wien, pp.155-179. (2011)
    Coauthor: J. X. Madarász
    [Springer] [pdf]
  35. Closed Timelike Curves in Relativistic Computation
    In: Stannet, Mike, Makowiec, Danuta, Lwniczak, Anna T, Di Stefano, Bruno N (Eds.)
    4th International Workshop on Physics and Computation (P&C 2011) and the 3rd International Hypercomputation Workshop (HyperNet 11)
    Combined Pre-proceedings, Turku, Finland: University of Turku, pp.155-171. (2011)
    Coauthors: H. Andréka and I. Németi
  36. First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers
    PhD thesis ELTE, Budapest, (2009)
    [doktori.hu] [pdf] [html]
  37. Axiomatizing relativistic dynamics without conservation postulates
    Studia Logica 89(2): pp. 163-186 (2008)
    Coauthors: H. Andréka, J. X. Madarász and I. Németi
    [Springer] [arXiv]
  38. First-Order Logic Foundation of Relativity Theories
    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
    [arXiv]
  39. Twin Paradox and the logical foundation of relativity theory
    Foundations of Physics 36(5): pp. 681-714 (2006)
    Coauthors: J. X. Madarász and I. Németi
    [Springer] [arXiv]
  40. A First Order Logic Investigation of the Twin Paradox and Related Subjects
    Master's thesis, ELTE University, 47pp., (2004)
    [pdf]
  41. A logical investigation of inertial and accelerated observers in flat space-times
    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
    [pdf]
  42. Az óraparadoxon elsôrendû logikai tárgyalásban
    TDK paper, ELTE University, 23pp., (2003)
    [pdf]
Work in progress: