Theoremizing Yablo's Paradox


To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self–reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self–reference. We turn Yablo’s paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics