Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

Ahmad Karimi



Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.


non-self-referential paradox; Yablo’s paradox; linear temporal logic; syntactic proofs

Full Text:



Barrio, E.A., 2010, “Theories of truth without standard models and Yablo’s sequences”, Studia Logica 96 (3): 375–391. DOI:

Barrio, E.A., and B. Da Ré, 2018, “Truth without standard models: Some conceptual problems reloaded”, Journal of Applied Non-Classical Logics 28 (1): 122–139. DOI:

Barrio, E.A., and L. Picollo, 2013, “Notes on w -inconsistent theories of truth in second-order languages”, The Review of Symbolic Logic 6 (4): 733–741. DOI:

Beall, J.C., 2001, “Is Yablo’s paradox non-circular?”, Analysis 61 (3): 176–187. DOI:

Brandenburger, A., and H.J. Keisler, 2006, “An impossibility theorem on beliefs in games”, Studia Logica 84 (2): 211–240. DOI:

Bringsjord, S., and B. van Heuveln, 2003, “The ‘mental eye’ defence of an infinitized version of Yablo’s paradox”, Analysis 63 (1): 61–70. DOI:

Bueno, O., and M. Colyvan, 2003a, “Yablo’s paradox and referring to infinite objects”, Australasian Journal of Philosophy 81 (3): 402–412. DOI:

Bueno, O., and M. Colyvan, 2003b, “Paradox without satisfaction”, Analysis 63 (2), 152–156. DOI:

Cieśliński, C., 2013, “Yablo sequences in truth theories”, pages 127–138 in K. Lodaya (ed.), Indian Conference on Logic and Its Applications, Springer, Berlin, Heidelberg. DOI:

Cieśliński, C., and R. Urbaniak, 2013, “Gödelizing the Yablo sequence”, Journal of Philosophical Logic 42: 679–695. DOI:

Forster, T., and R. Goré, 2016, “Yablo’s paradox as a theorem of modal logic”, Logique et Analyse 59 (253): 283–300.

Karimi, A., 2017, “A non-self-referential paradox in epistemic game theory”, Reports on Mathematical Logic 52: 45–56. DOI:

Karimi, A., and S. Salehi, 2014, “Theoremizing Yablo’s paradox”, Preprint arXiv:1406.0134.

Karimi, A., and S. Salehi, 2017, “Diagonal arguments and fixed points”, Bulletin of the Iranian Mathematical Society 43 (5): 1073–1088.

Ketland, J., 2004, “Bueno and Colyvan on Yablo’s paradox”, Analysis 64 (2): 165–172. DOI:

Ketland, J., 2005, “Yablo’s Paradox and w -Inconsistency”, Synthese 145 (3): 295–302. DOI:

Kröger, F., and S. Merz, 2008, “Temporal logic and state systems”, Springer.

Leach-Krouse, G., 2014, “Yablifying the Rosser sentence”, Journal of Philosophical Logic 43 (5): 827–834. DOI:

Luna, L., 2009, “Yablo’s paradox and beginningless time”, Disputatio 3 (26): 1–8. DOI:

Picollo, L.M., 2013, “Yablo’s paradox in second-order languages: Consistency and unsatisfiability”, Studia Logica 101 (3): 601–617. DOI:

Pnueli, A., 1977, “The temporal logic of programs”, pages 46–57 in 18th Annual Symposium on Foundations of Computer Science (SFCS’77) IEEE Computer Society. DOI:

Priest, G., 1997, “Yablo’s paradox”, Analysis 57 (4): 236–242. DOI:

Sorensen, R.A. 1998, “Yablo’s paradox and kindred infinite liars”, Mind 107 (425): 137–155. DOI:

Yablo, S., 1985, “Truth and reflection”, Journal of Philosophical Logic 14: 297–349. DOI:

Yablo, S., 1993, “Paradox without self-reference’, Analysis 53: 251–252. DOI:

Yablo, S., 2004, “Circularity and paradox”, pages 139–157 in T. Bolander, V.F. Hendricks and S.A. Pedersen (eds.), Self-Reference CSLI Publications.

Yatabe, S., 2011, “Yablo-like paradoxes and co-induction”, pages 90–103, chapter 8, in Y. Onada, D. Bekki and E. McCready (eds.), New Frontiers in Artificial Intelligence, JSAI-isAI 2010, vol. 6797 of Lecture Notes in Computer Science, Springer. DOI:

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism