Axiomatizing Relativistic Dynamics without Conservation Postulates. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Stud Logica, 2008)

A Geometrical Characterization of the Twin Paradox and its Variants. - Gergely Székely (Stud Logica, 2010)

Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity. - Péter Németi; Gergely Székely (CiE, 2012)

Closed timelike Curves in relativistic Computation. - Hajnal Andréka; István Németi; Gergely Székely (Parallel Process. Lett., 2012)

A logic road from special relativity to general relativity. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Synth., 2012)

The existence of superluminal particles is consistent with relativistic dynamics. - Judit X. Madarász; Gergely Székely (J. Appl. Log., 2014)

Axiomatizing relativistic dynamics using formal thought experiments. - Attila Molnár; Gergely Székely (Synth., 2015)

Logic and relativity theory. - Gergely Székely (Synth., 2015)

Three Different Formalisations of Einstein's Relativity Principle. - Judit X. Madarász; Gergely Székely; Mike Stannett (Rev. Symb. Log., 2017)

Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. - Judit X. Madarász; Gergely Székely; Mike Stannett (FLAP, 2018)

On Generalization of Definitional Equivalence to Non-Disjoint Languages. - Koen Lefever; Gergely Székely (J. Philos. Log., 2019)

Distances between Formal Theories. - Mohamed Khaled; Gergely Székely; Koen Lefever; Michèle Friend (Rev. Symb. Log., 2020)

Groups of Worldview Transformations Implied by Isotropy of Space. - Judit X. Madarász; Mike Stannett; Gergely Székely (FLAP, 2021)

Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Ann. Pure Appl. Log., 2022)

Investigations of isotropy and homogeneity of spacetime in first-order logic. - Judit X. Madarász; Mike Stannett; Gergely Székely (Ann. Pure Appl. Log., 2022)

Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields. - Judit X. Madarász; Mike Stannett; Gergely Székely (Rev. Symb. Log., 2022)

No Faster-Than-Light Observers (GenRel). - Mike Stannett; Edward Higgins; Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Arch. Formal Proofs, 2023)

Testing Definitional Equivalence of Theories via automorphism Groups. - Hajnal Andréka; Judit X. Madarász; István Németi; Gergely Székely (Rev. Symb. Log., 2024)

Conceptual Distance and Algebras of Concepts. - Mohamed Khaled; Gergely Székely (Rev. Symb. Log., 2025)