| 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 |
| Groups of Worldview Transformations Implied by Isotropy of Space | 2020-07-28 | Paper |
| THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE | 2017-09-15 | 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 |
| 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 |
| A logic road from special relativity to general relativity | 2013-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853710 | 2013-10-16 | Paper |
| An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds | 2013-10-05 | Paper |
| Decidability, undecidability, and Gödel's incompleteness in relativity theories | 2013-08-16 | Paper |
| Special relativity over the field of rational numbers | 2013-08-06 | 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 |
| Epimorphisms in cylindric algebras and definability in finite variable logic | 2010-01-04 | Paper |
| Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation | 2009-12-18 | Paper |
| Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts | 2009-08-12 | 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 |
| Amalgamation, interpolation and epimorphisms in algebraic logic | 2007-04-02 | Paper |
| Twin paradox and the logical foundation of relativity theory | 2006-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482812 | 2006-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367329 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367316 | 2006-01-24 | Paper |
| Mutual definability does not imply definitional equivalence, a simple example | 2005-11-15 | Paper |
| Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski | 2002-10-20 | Paper |
| Interpolation and amalgamation; pushing the limits. II | 2001-12-03 | Paper |
| Interpolation and amalgamation; pushing the limits. I | 2001-06-19 | Paper |
| Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic | 1999-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4390777 | 1998-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870568 | 1996-07-16 | Paper |
