Breve introducción a la lógica temporal
ISSN: 1132-8177
Argitalpen urtea: 2001
Zenbakia: 9
Orrialdeak: 187-198
Mota: Artikulua
Beste argitalpen batzuk: Laguna: Revista de Filosofía
Garapen Iraunkorreko Helburuak
Laburpena
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.