Gergely Székely

Rev. Symb. Log., 2022

Investigations of isotropy and homogeneity of spacetime in first-order logic.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

2021

Groups of Worldview Transformations Implied by Isotropy of Space.

[BibT_eX]

[DOI]

FLAP, 2021

2020

Distances between Formal Theories.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2020

2019

On Generalization of Definitional Equivalence to Non-Disjoint Languages.

[BibT_eX]

[DOI]

Koen Lefever

J. Philos. Log., 2019

2018

Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory.

[BibT_eX]

[DOI]

FLAP, 2018

2017

Three Different Formalisations of Einstein's Relativity Principle.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2017

2015

Logic and relativity theory.

[BibT_eX]

[DOI]

Synth., 2015

Axiomatizing relativistic dynamics using formal thought experiments.

[BibT_eX]

[DOI]

Attila Molnár

Synth., 2015

2014

The existence of superluminal particles is consistent with relativistic dynamics.

[BibT_eX]

[DOI]

J. Appl. Log., 2014

2012

A logic road from special relativity to general relativity.

[BibT_eX]

[DOI]

Synth., 2012

Closed timelike Curves in relativistic Computation.

[BibT_eX]

[DOI]

Hajnal Andréka

István Németi

Parallel Process. Lett., 2012

Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity.

[BibT_eX]

[DOI]

Péter Németi

Proceedings of the How the World Computes, 2012

2010

A Geometrical Characterization of the Twin Paradox and its Variants.

[BibT_eX]

[DOI]