In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.
Propositional Interval Temporal Logics: Some Promising Paths
MONTANARI, Angelo
2005-01-01
Abstract
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
montanari-interval.pdf
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Non pubblico
Dimensione
65.21 kB
Formato
Adobe PDF
|
65.21 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
