He is probably best known for his controversial modal realist stance: that (i) possible worlds exist, (ii) every possible world is a concrete entity, (iii) any possible world is causally and spatiotemporally isolated from any other possible world, and (iv) our world is among the possible worlds.