Imagen de Portada
Código QR

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

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