Un mundo no-normal es un mundo en el que las condiciones de verdad de los operadores modales son distintas: un enunciado del tipo formula_27 es siempre verdadero en un mundo no-normal, mientras que un enunciado de la forma formula_10 es siempre falso.