Dimiter Skordev. On the duration domains for the Interval Temporal Logic.
Abstract.The duration domains for the Interval Temporal Logic are characterized as the positive cones of the right-ordered groups.
Keywords: duration domain, interval temporal logic, right-ordered group, positive cone
MSC: main 06F15, secondary 03B70