Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

DOI10.12775/LLP.2019.020zbMath1458.03011WikidataQ113750043 ScholiaQ113750043MaRDI QIDQ3387900

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)

Cites Work

• Gödelizing the Yablo sequence
• Yablifying the Rosser sentence
• Theories of truth without standard models and Yablo's sequences
• An impossibility theorem on beliefs in games
• Truth and reflection
• Yablo's paradox in second-order languages: consistency and unsatisfiability
• Temporal logic and state systems
• Yablo's paradox and \(\omega\)-inconsistency
• Is Yablo's paradox non-circular?
• Yablo Sequences in Truth Theories
• Paradox without satisfaction
• Yablo's paradox
• Paradox without Self-Reference
• A Non-Self-Referential Paradox in Epistemic Game Theory
• Bueno and Colyvan on Yablo's paradox
• Truth without standard models: some conceptual problems reloaded
• NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic