Kripke's framework treats possible worlds as abstract mathematical objects in the metatheory, requir...
This proposition has not been edited since the history system was added.