Lo que quiere decir es que si formula_5 es verdadero en todo mundo que un agente considere como un mundo posible, entonces el agente debe conocer/saber formula_5 en todos los mundos posibles.