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

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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11390/735868
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact