Signed Interval Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Signed Interval Logic
|
| Id. |
46268903 |
| Idioma |
inglés
|
| Titulo |
Signed Interval Logic |
| Autor(es) |
Thomas Marthedal Rasmussen
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.8473
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Signed Interval Logic (SIL) is an extension of Interval Temporal Logic (ITL) with the introduction of the notion of a direction of an interval. We develop syntax, semantics, and proof system of SIL, and show that this proof system is sound and complete. The proof system of SIL is not more complicated than that of ITL but SIL is (contrary to ITL) capable of specifying liveness properties. Other interval logics capable of this (such as Neighbourhood Logic) have more complicated proof systems. We discuss how to de ne future intervals in SIL for the specification of liveness properties. To characterize the expressive power of SIL we relate SIL to arrow logic and relational algebra.
|
| Tipo |
application/postscript
|
| Palabras clave |
interval logic
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.imm.dtu.dk/~tmr/sil-csl99.ps
[References] 10.1.1.31.2801
[References] 10.1.1.27.5654
[References] 10.1.1.26.5787
[References] 10.1.1.16.8327
[References] 10.1.1.47.7866
[References] 10.1.1.35.4680
[References] 10.1.1.22.5014
[References] 10.1.1.35.4680
[References] 10.1.1.86.163
[References] 10.1.1.23.6222
|
| Fecha de contribución |
23-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
