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

Issue

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

Section

Articles

How to Cite

ON THE DURATION DOMAINS FOR THE INTERVAL TEMPORAL LOGIC. (2002). Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 94, 27-33. https://annual.uni-sofia.bg/index.php/fmi/article/view/187