Interval temporal logic

From Free net encyclopedia