Transforming Yablo's Paradox into Theorems in Linear Temporal Logic

Yablo's paradox, which avoids self-reference, can be transformed into genuine mathematical theorems in Linear Temporal Logic by showing that certain operators do not have fixed-points in this logic.