Pages that link to "Item:Q2819114"
From MaRDI portal
The following pages link to Axiomatization of special relativity in first order logic (Q2819114):
Displaying 10 items.
- A logic road from special relativity to general relativity (Q383001) (← links)
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Axiomatic foundations of the kinematics common to classical physics and special relativity (Q793516) (← links)
- A uniform syntactic structure for the theory of special relativity and classical mechanics (Q1342820) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
- Special relativity over the field of rational numbers (Q2391975) (← links)
- Twin paradox and the logical foundation of relativity theory (Q2505242) (← links)
- Explicit solutions in one-sided optimal stopping problems for one-dimensional diffusions (Q2875279) (← links)