Diagonal arguments and fixed points

MaRDI QIDQ4613588zbMATH OpenFDO

Authors Ahmad Karimi, Saeed Salehi

Publication date 24 January 2019

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

zbMATH Keywords

(linear) temporal logicdiagonal argumentfixed-pointsself-referenceYablo's paradox

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)

Recommendations

• Fixed points and diagonal method
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• The diagonal argument and the Liar
• Fixed points and unfounded chains
• Yablo without Gödel

Cited in

(5)

• Fixed points and diagonal method
• Syntactic proofs for Yablo's paradoxes in temporal logic
• Fixed points and unfounded chains
• Substructural fixed-point theorems and the diagonal argument: theme and variations
• Diagonalizing by Fixed-Points

This page was built for publication: Diagonal arguments and fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4613588)