Interval Temporal Logic
cse.dmu.ac.ukA flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Zedan.
A flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Zedan.