Breve introducción a la lógica temporal

  1. Vázquez Campos, Margarita
Revista:
Laguna: Revista de Filosofía

ISSN: 1132-8177

Any de publicació: 2001

Número: 9

Pàgines: 187-198

Tipus: Article

DIALNET GOOGLE SCHOLAR

Altres publicacions en: Laguna: Revista de Filosofía

Resum

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.

Fuente de los datos: Dialnet