| Publication | Date of Publication | Type |
|---|
| Testing definitional equivalence of theories via automorphism groups | 2022-11-25 | Paper |
Groups of worldview transformations implied by isotropy of space
(available as arXiv preprint) | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7594117 (Why is no real title available?) | 2022-09-28 | Paper |
Investigations of isotropy and homogeneity of spacetime in first-order logic
Annals of Pure and Applied Logic | 2022-08-02 | Paper |
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
The Review of Symbolic Logic | 2022-05-25 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
Annals of Pure and Applied Logic | 2022-04-01 | Paper |
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
(available as arXiv preprint) | 2021-12-30 | Paper |
Groups of Worldview Transformations Implied by Isotropy of Space
(available as arXiv preprint) | 2020-07-28 | Paper |
Three different formalisations of Einstein's relativity principle
The Review of Symbolic Logic | 2017-09-15 | Paper |
A note on `Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox'
Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences | 2016-11-02 | Paper |
The existence of superluminal particles is consistent with relativistic dynamics
Journal of Applied Logic | 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
Classical and Quantum Gravity | 2014-06-19 | Paper |
Faster than light motion does not imply time travel
Classical and Quantum Gravity | 2014-06-19 | Paper |
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2014-04-29 | Paper |
Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2014-04-29 | Paper |
A logic road from special relativity to general relativity
Synthese | 2013-11-25 | Paper |
| Amalgamation, interpolation and epimorphisms in algebraic logic | 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
Parallel Processing Letters | 2013-08-16 | Paper |
Special relativity over the field of rational numbers
International Journal of Theoretical Physics | 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
Algebra Universalis | 2010-01-04 | Paper |
Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
Logic Journal of the IGPL | 2009-12-18 | Paper |
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
Logic Journal of the IGPL | 2009-08-12 | Paper |
Axiomatizing relativistic dynamics without conservation postulates
Studia Logica | 2008-09-02 | Paper |
| A Logical Analysis of the Time-Warp Effect of General Relativity | 2007-09-16 | Paper |
scientific article; zbMATH DE number 5168268 (Why is no real title available?)
(available as arXiv preprint) | 2007-06-28 | Paper |
Amalgamation, interpolation and epimorphisms in algebraic logic
Algebra Universalis | 2007-04-02 | Paper |
Twin paradox and the logical foundation of relativity theory
Foundations of Physics | 2006-10-04 | Paper |
| Logical axiomatizations of space-time. Samples from the literature | 2006-08-15 | Paper |
| On generalizing the logic-approach to space-time towards general relativity: first steps | 2006-01-24 | Paper |
| Logical analysis of relativity theories | 2006-01-24 | Paper |
Mutual definability does not imply definitional equivalence, a simple example
MLQ | 2005-11-15 | Paper |
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski
Studia Scientiarum Mathematicarum Hungarica | 2002-10-20 | Paper |
Interpolation and amalgamation; pushing the limits. II
Studia Logica | 2001-12-03 | Paper |
Interpolation and amalgamation; pushing the limits. I
Studia Logica | 2001-06-19 | Paper |
Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
Journal of Applied Non-Classical Logics | 1999-07-15 | Paper |
| scientific article; zbMATH DE number 1156790 (Why is no real title available?) | 1998-10-19 | Paper |
| scientific article; zbMATH DE number 859796 (Why is no real title available?) | 1996-07-16 | Paper |
