Semántica de Kripke
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El marco semántico relacional que asigna valores de verdad a las fórmulas evaluándolas en mundos de un marco de Kripke junto con una valoración; las modalidades se interpretan mediante la relación de accesibilidad que conecta mundos.