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
|
|
|
Temporal Logic
|
| Id. |
41459054 |
| Idioma |
inglés
|
| Titulo |
Temporal Logic |
| Autor(es) |
Yde Venema
|
| Localización |
http://citeseer.ist.psu.edu/25080.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
this paper, section 3, is
devoted to a fairly detailed exposition of Prior's basic tense logic; the aim of this is not only
to introduce the readers to this particular system, but perhaps even more to acquaint them
with the kind of questions that temporal logicians tend to ask. In the sections 4 and 5 we
present some extensions and alternatives to this base system. In section 6 we sketch some
developments that have taken place over the last ten years or so. Finally, in the epilogue we
try to answer the question what Temporal Logic is; this section also contains a short list of
monographs surveying the field of temporal logic.
2 Flows of time
|
| Tipo |
ps
|
| Palabras clave |
Yde Venema Temporal Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.illc.uva.nl/Publications/Lists/../ResearchReports/LP-1998-16.text.ps.gz
[References] oai:CiteSeerPSU:326187
[References] oai:CiteSeerPSU:324228
[References] oai:CiteSeerPSU:97198
[References] oai:CiteSeerPSU:46397
[References] oai:CiteSeerPSU:601097
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
