Axiomatizing relativistic dynamics using formal thought experiments
From MaRDI portal
Publication:514563
DOI10.1007/S11229-014-0545-8zbMATH Open1357.03034OpenAlexW2149273775MaRDI QIDQ514563FDOQ514563
Authors: Attila Molnár, Gergely Székely 
Publication date: 9 March 2017
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: http://real.mtak.hu/33690/1/LR12pub.pdf
Recommendations
- Axiomatizing relativistic dynamics without conservation postulates
- Axiomatization of special relativity in first order logic
- An axiomatic foundation of relativistic spacetime
- On axiomatic foundations common to classical physics and special relativity
- Axiomatics of the general-relativistic and the Finsler space-time by means of causality
- scientific article; zbMATH DE number 870435
- Comparing classical and relativistic kinematics in first-order logic
- Axiomatic foundations of the kinematics common to classical physics and special relativity
- Proof verification and proof discovery for relativity
- A relativistic generalisation of rigid motions
Modal logic (including the logic of norms) (03B45) Logic in the philosophy of science (03A10) Relativistic dynamics for problems in Hamiltonian and Lagrangian mechanics (70H40)
Cites Work
- Modal logic
- Model theory.
- Diodorean modality in Minkowski spacetime
- Modal Logics of Regions and Minkowski Spacetime
- Modal logics of domains on the real plane
- A logic road from special relativity to general relativity
- Expressive completeness in modal language
- A formal construction of the spacetime manifold
- Orthogonality and spacetime geometry
- Alexandrov-Zeeman type theorems expressed in terms of definability
- Special relativity over the field of rational numbers
- The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
- Logical analysis of relativity theories
- The existence of superluminal particles is consistent with relativistic dynamics
- Axiomatizing relativistic dynamics without conservation postulates
- The permutation principle in quantificational logic
- A unified completeness theorem for quantified modal logics
- Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
- Some theorems on the expressive limitations of modal languages
Cited In (2)
This page was built for publication: Axiomatizing relativistic dynamics using formal thought experiments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514563)
