Syntactic proofs for Yablo's paradoxes in temporal logic

DOI10.12775/LLP.2019.020zbMATH Open1458.03011WikidataQ113750043 ScholiaQ113750043MaRDI QIDQ3387900FDOQ3387900

Authors: Ahmad Karimi 

Publication date: 8 January 2021

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

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?

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)

Cites Work

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

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)