 Kripke introduced non-normal worlds as a technical device in order to treat C.I. Lewis’ non-normal modal logics; the question of the interpretation of such structures (particularly, of the ontological status of impossible worlds), then, makes perfect sense — and the answer is not straightforward, as have seen in  section 3.