SYNTACTIC PROOFS FOR YABLO'S PARADOXES IN TEMPORAL LOGIC.

Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo's paradox which is seemingly non-self-referential and basi...

Descripción completa

Detalles Bibliográficos
Publicado en:	Logic & Logical Philosophy Vol. 28; no. 4; pp. 753 - 766
Autor principal:	Karimi, Ahmad
Formato:	Artículo
Publicado:	Logic & Logical Philosophy Dec2019
Materias:	Paradox Logic Evidence Application software Computer logic Systems software Modal logic
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo's paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo's paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.