Logical axiomatizations of space-time. Samples from the literature

zbMATH Open1102.03037MaRDI QIDQ5482812FDOQ5482812

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

Publication date: 15 August 2006

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

completeness theorem first-order logic general relativity special relativity accelerated observers local theory reverse geometry faster-than-light motion Alexandrov-Zeeman type theorem foundation of space-time reverse 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)

Cited In (26)

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

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)