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.
Original language | English |
---|---|
Pages (from-to) | 229-259 |
Number of pages | 31 |
Journal | Journal of Logic and Computation |
Volume | 1 |
Issue number | 2 |
DOIs | |
State | Published - Dec 1990 |
Externally published | Yes |