| Publication | Date of Publication | Type |
|---|
| Testing definitional equivalence of theories via automorphism groups | 2022-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039113 | 2022-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869542 | 2022-09-28 | Paper |
| Investigations of isotropy and homogeneity of spacetime in first-order logic | 2022-08-02 | Paper |
| GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS | 2022-05-25 | Paper |
| Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime | 2022-04-01 | Paper |
| Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime | 2021-12-30 | Paper |
| DISTANCES BETWEEN FORMAL THEORIES | 2020-08-26 | Paper |
| Groups of Worldview Transformations Implied by Isotropy of Space | 2020-07-28 | Paper |
| What properties of numbers are needed to model accelerated observers in relativity? | 2020-06-25 | Paper |
| Comparing Classical and Relativistic Kinematics in First-Order Logic | 2019-09-23 | Paper |
| On generalization of definitional equivalence to non-disjoint languages | 2019-09-03 | Paper |
| THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE | 2017-09-15 | Paper |
| Axiomatizing relativistic dynamics using formal thought experiments | 2017-03-09 | Paper |
| A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’ | 2016-11-02 | Paper |
| On some Symmetry Axioms in Relativity Theories | 2016-01-14 | Paper |
| The existence of superluminal particles is consistent with relativistic dynamics | 2014-11-20 | Paper |
| On the Possibility and Consequences of Negative Mass | 2014-07-22 | Paper |
| Faster than light motion does not imply time travel | 2014-06-19 | Paper |
| Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase? | 2014-04-29 | Paper |
| The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity | 2014-04-24 | Paper |
| A logic road from special relativity to general relativity | 2013-11-25 | Paper |
| An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds | 2013-10-05 | Paper |
| CLOSED TIMELIKE CURVES IN RELATIVISTIC COMPUTATION | 2013-08-16 | Paper |
| Special relativity over the field of rational numbers | 2013-08-06 | Paper |
| Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity | 2012-08-14 | Paper |
| What are the numbers in which spacetime? | 2012-04-05 | Paper |
| On Logical Analysis of Relativity Theories | 2011-05-04 | Paper |
| Vienna Circle and Logical Analysis of Relativity Theory | 2011-01-31 | Paper |
| On Why-Questions in Physics | 2011-01-22 | Paper |
| A geometrical characterization of the twin paradox and its variants | 2010-12-01 | Paper |
| Axiomatizing relativistic dynamics without conservation postulates | 2008-09-02 | Paper |
| A Logical Analysis of the Time-Warp Effect of General Relativity | 2007-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3447200 | 2007-06-28 | Paper |
| Twin paradox and the logical foundation of relativity theory | 2006-10-04 | Paper |
| First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers | 0001-01-03 | Paper |
