Logical consecutions in discrete linear temporal 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
|
|
|
Logical consecutions in discrete linear temporal logic
|
| Id. |
2077071 |
| Idioma |
inglés
|
| Titulo |
Logical consecutions in discrete linear temporal logic |
| Autor(es) |
Rybakov, V. V.
|
| Localización |
http://projecteuclid.org/euclid.jsl/1129642119
J. Symbolic Logic 70, iss. 4 (2005), 1137-1149
doi:10.2178/jsl/1129642119
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We investigate logical consequence in temporal logics in terms of logical consecutions, i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be correct in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between these two notions. The linear temporal logic LDTL, consisting of all formulas valid in the frame ? ??, ?, ? ? of all integer numbers, is the prime object of our investigation. We describe consecutions admissible in LDTL in a semantic wayvia consecutions valid in special temporal Kripke/Hintikka models. Then we state that any temporal inference rule has a reduced normal form which is given in terms of uniform formulas of temporal degree 1. Using these facts and enhanced semantic techniques we construct an algorithm, which recognizes consecutions admissible in LDTL. Also, we note that using the same technique it follows that the linear temporal logic ?(??) of all natural numbers is also decidable w.r.t. inference rules. So, we prove that both logics LDTL and ?(??) are decidable w.r.t. admissible consecutions. In particular, as a consequence, they both are decidable (known fact), and the given deciding algorithms are explicit.
|
| Tipo |
application/pdf
|
| Palabras clave |
temporal logic
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 2005 Association for Symbolic Logic |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
19-sep-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
