Una interpretación no-normal para un lenguaje proposicional modal es una estructura  donde "W", "R" y "V" son como antes y "N" es un subconjunto de "W".