Syntactic proofs for Yablo's paradoxes in temporal logic

DOI10.12775/LLP.2019.020MaRDI QIDQ3387900zbMATHWikidataFDO

Authors Ahmad Karimi

Publication date 8 January 2021

Published in Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

linear temporal logicYablo's paradoxsyntactic proofsnon-self-referential paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Recommendations

• Yablo's paradox as a theorem of modal logic
• ‘Sometime a paradox’, now proof: Yablo is not first order
• Yablo without Gödel
• Yablo's paradox and omega-paradoxes
• Is Yablo's paradox non-circular?

Cites work

• scientific article; zbMATH DE number 2001417 (Why is no real title available?)
• A non-self-referential paradox in epistemic game theory
• An impossibility theorem on beliefs in games
• Bueno and Colyvan on Yablo's paradox
• Circularity and paradox
• Diagonal arguments and fixed points
• Gödelizing the Yablo sequence
• Is Yablo's paradox non-circular?
• Notes on \(\omega\)-inconsistent theories of truth in second-order languages
• Paradox without Self-Reference
• Paradox without satisfaction
• Temporal logic and state systems
• Theories of truth without standard models and Yablo's sequences
• Truth and reflection
• Truth without standard models: some conceptual problems reloaded
• Yablifying the Rosser sentence
• Yablo sequences in truth theories
• Yablo's paradox
• Yablo's paradox and \(\omega\)-inconsistency
• Yablo's paradox as a theorem of modal logic
• Yablo's paradox in second-order languages: consistency and unsatisfiability

This page was built for publication: Syntactic proofs for Yablo's paradoxes in temporal logic

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