Breve introducción a la lógica temporal
ISSN: 1132-8177
Año de publicación: 2001
Número: 9
Páginas: 187-198
Tipo: Artículo
Otras publicaciones en: Laguna: Revista de Filosofía
Objetivos de desarrollo sostenible
infoClasificación ODS obtenida utilizando el modelo de inteligencia artificial Aurora SDG.
Resumen
En este articulo, se presentan las principales características de la lógica temporal indeterminista, tanto su motivación como sus aspectos sintácticos y semánticos. También se da una aproximación a los aspectos metateóricos y se comentan otras perspectivas