scientific article; zbMATH DE number 7006302

zbMath1405.18001MaRDI QIDQ4613588

Ahmad Karimi, Saeed Salehi

Publication date: 24 January 2019

Full work available at URL: http://bims.iranjournals.ir/article_979.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

self-referencefixed-pointsYablo's paradoxdiagonal argument(linear) temporal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

This page was built for publication: