Axiomatizing relativistic dynamics using formal thought experiments

DOI10.1007/S11229-014-0545-8zbMath1357.03034OpenAlexW2149273775MaRDI QIDQ514563

Gergely Székely, Attila Molnár

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) Relativistic dynamics for problems in Hamiltonian and Lagrangian mechanics (70H40) Logic in the philosophy of science (03A10)

Related Items (1)

THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic road from special relativity to general relativity
• The existence of superluminal particles is consistent with relativistic dynamics
• The permutation principle in quantificational logic
• Some theorems on the expressive limitations of modal languages
• Modal logics of domains on the real plane
• Axiomatizing relativistic dynamics without conservation postulates
• A formal construction of the spacetime manifold
• Orthogonality and spacetime geometry
• Diodorean modality in Minkowski spacetime
• Model theory.
• Expressive completeness in modal language
• 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
• Alexandrov-Zeeman type theorems expressed in terms of definability
• A unified completeness theorem for quantified modal logics
• Modal Logics of Regions and Minkowski Spacetime

This page was built for publication: Axiomatizing relativistic dynamics using formal thought experiments