Yablo’s Paradox in Second-Order Languages: Consistency and Unsatisfiability - LAVINIA MARIA PICOLLO (Springer Science and Business Media LLC, 2021)
10.1007/s11225-012-9399-6