Axiomatizing relativistic dynamics using formal thought experiments

DOI10.1007/S11229-014-0545-8MaRDI QIDQ514563zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

relativistic dynamicsfirst-order modal logicthought experimentsdefinition of mass

Mathematics Subject Classification ID

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)

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

Cites work

• A formal construction of the spacetime manifold
• A logic road from special relativity to general relativity
• A unified completeness theorem for quantified modal logics
• Alexandrov-Zeeman type theorems expressed in terms of definability
• Axiomatizing relativistic dynamics without conservation postulates
• Diodorean modality in Minkowski spacetime
• Expressive completeness in modal language
• Logical analysis of relativity theories
• Modal Logics of Regions and Minkowski Spacetime
• Modal logic
• Modal logics of domains on the real plane
• Model theory.
• Orthogonality and spacetime geometry
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Some theorems on the expressive limitations of modal languages
• Special relativity over the field of rational numbers
• The existence of superluminal particles is consistent with relativistic dynamics
• The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
• The permutation principle in quantificational logic

Cited in

(2)

• Axiomatizing relativistic dynamics without conservation postulates
• Three different formalisations of Einstein's relativity principle

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)