A. Karimi, “Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic”, LLP, vol. 28, no. 4, pp. 753–765, Jun. 2019.