  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 logical consequence of a first-order axiom system of
Special Relativity extended to accelerated observers.
