Possible Worlds, Incompleteness and Undefinability
This short squib looks at how using a broader definition of Gödel numbering to mimic the accessibility relation between possible worlds results in two-world systems that sidestep undecidable sentences as well as the Liar paradox.
math.LO↗