Dio un ejemplo de un sistema que usa la interpretación con mundos posibles y preserva las reglas clásicas.