An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
Dav M. Gabbay, Ian Hodkinson · Journal of Logic and Computation · 1990
A Hilbert style axiomatization of the temporal logic with connectives Until and Since for the real numbers is presented. We prove independence of the axioms, and completeness for this semantics with respect to single formulas.