ON THE DURATION DOMAINS FOR THE INTERVAL TEMPORAL LOGIC

Authors

  • Dimiter Skordev

Keywords:

duration domain, interval temporal logic, positive cone, right-ordered group

Abstract

The duration domains for the Interval Temporal Logic are characterized as the positive cones of the right-ordered groups.

Downloads

Published

2002-12-12

How to Cite

Skordev, D. (2002). ON THE DURATION DOMAINS FOR THE INTERVAL TEMPORAL LOGIC. Ann. Sofia Univ. Fac. Math. And Inf., 94, 27–33. Retrieved from https://ftl5.uni-sofia.bg/index.php/fmi/article/view/187

Issue

Vol. 94 (2002): Ann. Sofia Univ. Fac. Math and Inf.

Section

Articles