 These quantificational analogies reflect possible inspiration behind what is most often called “possible worlds semantics” for such logics, to which we now  turn.[28]  Once the analogies are noticed, spelling out this sort of semantics seems all but  inevitable.[29]