IMHO, the semantics of possible worlds is inadequately defined. If a god is defined as necessary, then he exists in all possible worlds, by definition. What do you call the possible worlds in which he doesn't exist? It's an interesting subject, as any encounter with the subject of counterfactuals is, but it's not sufficiently well-developed to be anything more than a can of worms.
![[Image: extraordinarywoo-sig.jpg]](https://i.postimg.cc/zf86M5L7/extraordinarywoo-sig.jpg)