Gergely Székely

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 11

Top Topics

Application Fields

Physically Plausible

Spatial And Temporal

Axiomatic Characterization

Top Venues

Rev. Symb. Log.

Ann. Pure Appl. Log.

Publications

Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
No Faster-Than-Light Observers (GenRel). Arch. Formal Proofs 2023 (2023)
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime. Ann. Pure Appl. Log. 173 (5) (2022)
Judit X. Madarász, Mike Stannett, Gergely Székely
Investigations of isotropy and homogeneity of spacetime in first-order logic. Ann. Pure Appl. Log. 173 (9) (2022)
Judit X. Madarász, Mike Stannett, Gergely Székely
Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields. Rev. Symb. Log. 15 (2) (2022)
Judit X. Madarász, Mike Stannett, Gergely Székely
Groups of Worldview Transformations Implied by Isotropy of Space. FLAP 8 (3) (2021)
Mohamed Khaled, Gergely Székely, Koen Lefever, Michèle Friend
Distances between Formal Theories. Rev. Symb. Log. 13 (3) (2020)
Koen Lefever, Gergely Székely
On Generalization of Definitional Equivalence to Non-Disjoint Languages. J. Philos. Log. 48 (4) (2019)
Judit X. Madarász, Gergely Székely, Mike Stannett
Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory. FLAP 5 (4) (2018)
Judit X. Madarász, Gergely Székely, Mike Stannett
Three Different Formalisations of Einstein's Relativity Principle. Rev. Symb. Log. 10 (3) (2017)
Gergely Székely
Logic and relativity theory. Synth. 192 (7) (2015)
Attila Molnár, Gergely Székely
Axiomatizing relativistic dynamics using formal thought experiments. Synth. 192 (7) (2015)
Judit X. Madarász, Gergely Székely
The existence of superluminal particles is consistent with relativistic dynamics. J. Appl. Log. 12 (4) (2014)
Hajnal Andréka, István Németi, Gergely Székely
Closed timelike Curves in relativistic Computation. Parallel Process. Lett. 22 (3) (2012)
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
A logic road from special relativity to general relativity. Synth. 186 (3) (2012)
Péter Németi, Gergely Székely
Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity. CiE (2012)
Gergely Székely
A Geometrical Characterization of the Twin Paradox and its Variants. Stud Logica 95 (1-2) (2010)
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
Axiomatizing Relativistic Dynamics without Conservation Postulates. Stud Logica 89 (2) (2008)