Logical axiomatizations of space-time. Samples from the literature

MaRDI QIDQ5482812zbMATH OpenFDO

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

Publication date 15 August 2006

zbMATH Keywords

completeness theoremfirst-order logicgeneral relativityspecial relativityaccelerated observerslocal theoryreverse geometryfaster-than-light motionAlexandrov-Zeeman type theoremfoundation of space-timereverse spacetime theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Special relativity (83A05) Research exposition (monographs, survey articles) pertaining to relativity and gravitational theory (83-02) Other applications of logic (03B80)

Recommendations

• Logical analysis of relativity theories
• On generalizing the logic-approach to space-time towards general relativity: first steps
• Axiomatization of special relativity in first order logic
• A logic road from special relativity to general relativity
• Twin paradox and the logical foundation of relativity theory

Cited in

(26)

• Changing a Semantics: Opportunism or Courage?
• GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
• Logical analysis of relativity theories
• The existence of superluminal particles is consistent with relativistic dynamics
• Investigations of isotropy and homogeneity of spacetime in first-order logic
• The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
• A logic road from special relativity to general relativity
• scientific article; zbMATH DE number 3964229 (Why is no real title available?)
• Axiomatizing relativistic dynamics without conservation postulates
• Foundations of applied mathematics. I
• Comparing theories: the dynamics of changing vocabulary
• A note on the modal and temporal logics for \(n\)-dimensional spacetime
• Explicit solutions in one-sided optimal stopping problems for one-dimensional diffusions
• Using Isabelle/HOL to verify first-order relativity theory
• A geometrical characterization of the twin paradox and its variants
• Twin paradox and the logical foundation of relativity theory
• Special relativity over the field of rational numbers
• Linear and affine logics with temporal, spatial and epistemic operators
• Comparing classical and relativistic kinematics in first-order logic
• An axiomatic foundation of relativistic spacetime
• Logic and relativity theory
• On the axiomatizability of some first-order spatio-temporal theories
• Axiomatic derivation of the Doppler factor and related relativistic laws
• Axiomatization of special relativity in first order logic
• On generalizing the logic-approach to space-time towards general relativity: first steps
• A Survey on Analog Models of Computation

This page was built for publication: Logical axiomatizations of space-time. Samples from the literature

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