We study the decidabilite logics we consider are ts, and they allow one to“natural scale” in any come interactions between dier language combining opion, together with the uss, is considered, and the s shown to be decidable.
Decidability results for metric and layered temporal logics
MONTANARI, Angelo;POLICRITI, Alberto
1996-01-01
Abstract
We study the decidabilite logics we consider are ts, and they allow one to“natural scale” in any come interactions between dier language combining opion, together with the uss, is considered, and the s shown to be decidable.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
euclid.ndjfl.1040046089.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Non pubblico
Dimensione
196.37 kB
Formato
Adobe PDF
|
196.37 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
