Para obtener una semántica para sistemas modales más débiles que K se introdujo la noción de "mundo no-normal" (introducido por Saul Kripke en 1965).