Breve introducción a la lógica temporal

• Autores: Margarita Vázquez Campos
• Localización: Laguna: Revista de Filosofía, ISSN 1132-8177, Nº 9, 2001, págs. 187-198
• Idioma: español
• Títulos paralelos:
  • Brief Introduction to Temporal Logic
• Texto completo no disponible (Saber más ...)
• Dialnet Métricas: 1 Cita
• Resumen
  • español

    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

  • English

    In this paper, I try to describe the motivation and main features of the non-deterministic temporal logic, both syntactically and semantically.

    I will briefly present the metatheorical aspects of one of these logics and some perspectives.