Para poder proceder, se debe dividir el conjunto de mundos posibles entre aquellos que son compatibles con el conocimiento de un agente, y aquellos que no lo son.