ON THE DURATION DOMAINS FOR THE INTERVAL TEMPORAL LOGIC

ЗаглавиеON THE DURATION DOMAINS FOR THE INTERVAL TEMPORAL LOGIC
Вид публикацияJournal Article
Година на публикуване2002
АвториSkordev D
СписаниеAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Том94
Pagination27-33
ISSN0205-0808
ключови думиduration domain, interval temporal logic, positive cone, right-ordered group
Резюме

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

Прикачен файлРазмер
PDF icon 94-027-033.pdf552.98 KB