An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

1 January 1990

journal article
Published by Oxford University Press (OUP) in Journal of Logic and Computation

Vol. 1 (2) , 229-259
https://doi.org/10.1093/logcom/1.2.229

Abstract

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.

Keywords

TEMPORAL LOGIC