En el método basado en la lógica, se han construido una sintaxis y una semántica utilizando el lenguaje de la lógica modal, que se describe a continuación.