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. |
46639333 |
| Idioma |
inglés
|
| Titulo |
Temporal Logic |
| Autor(es) |
Yde Venema
Lou Goble (ed
Blackwell Guide
Philosophical Logic
Blackwell Publishers
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3261
|
| 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 |
application/postscript
|
| 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.wins.uva.nl/research/illc/Publications/Lists/../ResearchReports/LP-1998-16.text.ps.gz
[References] 10.1.1.48.6264
[References] 10.1.1.27.5216
[References] 10.1.1.36.4079
[References] 10.1.1.28.1594
[References] 10.1.1.19.1818
[References] 10.1.1.21.8006
[References] 10.1.1.109.6733
[References] 10.1.1.95.3727
[References] 10.1.1.16.541
|
| Fecha de contribución |
31-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
