4 citations · 4 across the 2 of their papers we have counts for
3 papers
Distances between formal theories
Michèle Friend, Mohamed Khaled, Koen Lefever +1
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something…
A Logical Analysis of the Time-Warp Effect of General Relativity
Judit X. Madarasz, Istvan Nemeti, Gergely Szekely
Several versions of the Gravitational Time Dilation effect of General Relativity are formulated by the use of Einstein's Equivalence Principle. It is shown that all of them are log…
First-Order Logic Foundation of Relativity Theories
Judit X. Madarasz, Istvan Nemeti, Gergely Szekely
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, rel…