 Whether these are genuine problems is a matter of debate. In fact, authors in mathematical logic have come to appreciate counterpart-theoretic interpretations of modal logic as overcoming certain problems of standard Kripke semantics. There are also ways of reformulating Lewis’s translation rules so as to avoid the supposedly problematic features. See the supplementary document: