Tal como se mencionó previamente, el enfoque basado en la lógica se construye a partir del modelo de los mundos posibles, donde las semánticas de los mismos se expresan en general mediante estructuras de Kripke, también conocidas como modelos de Kripke.