On Logical Analysis of Relativity Theories

Abstract

The aim of this paper is to give an introduction to our axiomatic logical analysis of relativity theories.

19 pages, 1 figures

References in corpus (7)

• A logic road from special relativity to general relativity
• Twin Paradox and the logical foundation of relativity theory
• Special Relativity in Reduced Power Algebras
• A Geometrical Characterization of the Twin Paradox and its Variants
• Two Essays on the Archimedean versus Non-Archimedean Debate
• On Why-Questions in Physics
• Is the relativity principle consistent with classical electrodynamics? Towards a logico-empiricist reconstruction of a physical theory

Cited by in corpus (4)

• A system of axioms for Minkowski spacetime
• Using Isabelle to verify special relativity, with application to hypercomputation theory
• On Why-Questions in Physics
• Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems