Incompleteness of a First-order Gödel Logic and some Temporal Logics of Programs
|
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
|
|
|
Incompleteness of a First-order Gödel Logic and some Temporal Logics of Programs
|
| Id. |
45876228 |
| Idioma |
inglés
|
| Titulo |
Incompleteness of a First-order Gödel Logic and some Temporal Logics of Programs |
| Autor(es) |
Matthias Baaz A
Er Leitsch B
Richard Zach B
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.8463
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Abstract. It is shown that the infinite-valued first-order Gödel logic G 0 based on the set of truth values {1/k: k ∈ ω \ {0}} ∪ {0} is not r.e. The logic G 0 is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger’s temporal logic of programs (even of the fragment without the nexttime operator ○) and of the authors ’ temporal logic of linear discrete time with gaps follows.
|
| Tipo |
application/pdf
|
| Palabras clave |
temporal 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/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.ucalgary.ca/~rzach/static/goedlog.pdf
[References] 10.1.1.44.4716
[References] 10.1.1.44.4206
|
| Fecha de contribución |
16-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
