Logical analysis of relativity theories

MaRDI QIDQ3367316zbMATH OpenFDO

Authors Judit Madarász, István Németi, Hajnal Andréka

Publication date 24 January 2006

zbMATH Keywords

first-order logiclogical analysis of relativity theoryspecial relativity

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other applications of logic (03B80) Special relativity (83A05)

Recommendations

• Logical axiomatizations of space-time. Samples from the literature
• On generalizing the logic-approach to space-time towards general relativity: first steps
• A logic road from special relativity to general relativity
• Comparing theories: the dynamics of changing vocabulary
• Axiomatization of special relativity in first order logic

Cited in

(25)

• A formal construction of the spacetime manifold
• Intrinsic, extrinsic, and the constitutive a priori
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
• Computing the appearance of physical reality
• Using Isabelle/HOL to verify first-order relativity theory
• Twin paradox and the logical foundation of relativity theory
• Axiomatization of special relativity in first order logic
• On generalizing the logic-approach to space-time towards general relativity: first steps
• A logic road from special relativity to general relativity
• Logical reloading. What is it and what is a profit from it?
• The existence of superluminal particles is consistent with relativistic dynamics
• The significance of relativistic computation for the philosophy of mathematics
• In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics
• Distances between formal theories
• Logic and relativity theory
• On the epistemological significance of the Hungarian project
• Proof verification and proof discovery for relativity
• Axiomatizing relativistic dynamics using formal thought experiments
• Motion and observation in a single-particle universe
• On the axiomatizability of some first-order spatio-temporal theories
• An axiomatic foundation of relativistic spacetime
• Evidence, explanation and enhanced indispensability
• Equivalent explanations and mathematical realism. Reply to ``Evidence, explanation, and enhanced indispensability
• Comparing theories: the dynamics of changing vocabulary
• Logical axiomatizations of space-time. Samples from the literature

This page was built for publication: Logical analysis of relativity theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367316)