Interval logic

Redirect to:

• Interval temporal logic