 This kind of approach faces problems, however. If there’s no logical structure to impossible worlds, then we might do as well to model an agent’s knowledge using an arbitrary set of sentences, as in Konolige 1986. The worry is that unconstrained impossible worlds semantics makes no real progress over this purely syntactic approach (Jago 2007, 2009).