Karimi, A. Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic. LLP 2019, 28, 753-765.