Title | ON THE DURATION DOMAINS FOR THE INTERVAL TEMPORAL LOGIC |
Publication Type | Journal Article |
Year of Publication | 2002 |
Authors | Skordev D |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 94 |
Pagination | 27-33 |
ISSN | 0205-0808 |
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. |
2000 MSC | main 06F15, secondary 03B70 |
Attachment | Size |
---|---|
94-027-033.pdf | 552.98 KB |