25 citations · 84 across the 10 of their papers we have counts for
Showing math-phShow all
2 papers · 1 filter
math-ph2017★ 7 cited
Comparing Classical and Relativistic Kinematics in First-Order Logic
Koen Lefever, Gergely Székely
The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special r…
math-ph2011★ 8 cited
On Why-Questions in Physics
Gergely Székely
The aim of this paper is to introduce a mathematical logic based approach investigating why-type questions in physics.