Gergely Székely

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