Axiomatic foundations of the kinematics common to classical physics and special relativity

MaRDI QIDQ793516zbMATH OpenFDO

Authors Aldo Bressan, A. Montanaro

Publication date 1982

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1982__68__163_0, https://eudml.org/doc/107869

zbMATH Keywords

modal logicaxiomatic foundations of mechanicsbeing in the pastclassical mechanics and special relativityevent point occupied by particleprimitive notionspurely kinematic axioms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Special relativity (83A05) Axiomatics, foundations (70A05) Generalities, axiomatics, foundations of continuum mechanics of solids (74Axx)

Recommendations

• On axiomatic foundations common to classical physics and special relativity
• A uniform syntactic structure for the theory of special relativity and classical mechanics
• Comparing classical and relativistic kinematics in first-order logic
• Axiomatization of special relativity in first order logic
• Axiomatic causal theory of space-time

Cites work

• scientific article; zbMATH DE number 3503190 (Why is no real title available?)
• scientific article; zbMATH DE number 3402572 (Why is no real title available?)
• Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti

Cited in

(8)

• scientific article; zbMATH DE number 3877143 (Why is no real title available?)
• Axiomatizing relativistic dynamics without conservation postulates
• Comparing classical and relativistic kinematics in first-order logic
• Foundations of relativistic kinematics
• Axiomatizing relativistic dynamics using formal thought experiments
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
• On axiomatic foundations common to classical physics and special relativity
• A uniform syntactic structure for the theory of special relativity and classical mechanics

This page was built for publication: Axiomatic foundations of the kinematics common to classical physics and special relativity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q793516)