Describir: SYNTACTIC PROOFS FOR YABLO'S PARADOXES IN TEMPORAL LOGIC.