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.

Principio

La verdad es relativa al mundo y se define inductivamente sobre la sintaxis de las fórmulas: los átomos proposicionales se deciden por la valoración en un mundo, los conectivos booleanos siguen las tablas de verdad habituales, y los operadores modales cuantifican sobre mundos accesibles según R (p. ej., □φ es verdadero en w si y solo si φ es verdadero en todo v con wRv).

Demostración

En la lógica proposicional modal, una fórmula como □(p→q)→(□p→□q) se evalúa en un mundo w comprobando, para cada v con wRv, si la implicación p→q es verdadera en v; la propiedad del marco como transitividad o reflexividad puede determinar la validez global de la fórmula en modelos basados en esa clase de marcos.

Aplicación incorrecta

Aplicar las condiciones de verdad de Kripke sin cambios a lógicas modales no normales o a semánticas con primitivas estructurales diferentes (p. ej., semántica de vecindad), o leer la relación de accesibilidad como una relación metafísica de 'posibilidad real' sin verificar las restricciones formales.

Consecuencia

La semántica de Kripke proporciona nociones claras de verdad local, validez global, correspondencia de marcos y teoremas de completitud; ofrece un método concreto para relacionar axiomas sintácticos con restricciones semánticas sobre los marcos.

Inversión

La semántica algebraica (p. ej., álgebras booleanas con operadores) o la semántica proof‑teórica invierten el énfasis tratando las fórmulas mediante operaciones algebraicas o reglas inferenciales en lugar de evaluaciones explícitas basadas en mundos.

Límite

Cubre lógicas modales, temporales e intuicionistas y sus variantes en las que la imagen de mundos/accesibilidad es aplicable; no captura directamente algunas lógicas subestructurales o paraconsistentes sin adaptación, ni sustituye perspectivas algebraicas o proof‑teóricas aunque a menudo sean equivalentes mediante traducción.

Tensión semántica

Compite con enfoques algebraicos y proof‑teóricos: la semántica de Kripke enfatiza modelos relacionales concretos y satisfacción local, mientras que las cuentas alternativas enfatizan la estructura algebraica o los roles inferenciales; la tensión gira en torno a si la modalidad se comprende mejor como accesibilidad relacional o como estructura algebraica/operativa.

Síntesis

La semántica de Kripke consiste en interpretar lógicas modales y relacionadas evaluando fórmulas en mundos de marcos provistos de una relación de accesibilidad y una valoración, conectando axiomas sintácticos con propiedades de marco semántico y posibilitando pruebas de validez y correspondencia.