Las condiciones de verdad de formula_10 no requieren la existencia de un mundo posible que sea accesible, ya que "todo mundo posible "w*" tal que "wRw*" y formula_18 " es equivalente a "no hay ningún mundo posible tal que "wRw*" y formula_30 ".