•  12
    Yablo's paradox as a theorem of modal logic
    with T. Forster
    Logique Et Analyse 59 265-271. 2016.
    We (further) demystify Yablo's paradox by showing that it can be thought of as the fact that the formula □ (p → □ ¬p) is unsatisfiable in the modal logic KD4 characterised by frames that are strict partial orders without maximal elements. This modal treatment also unifies the two versions of Yablo's paradox, the original version and its dual. © 2019 Elsevier B.V., All rights reserved.