## [Lógica Modal](/es/node/61329) Definición Una familia de lógicas formales que amplían los cálculos proposicionales o de predicados con operadores modales (como □ para la necesidad y ◇ para la posibilidad) para expresar modos de verdad relativos a puntos de un modelo dotado de una relación de accesibilidad. ## Principio Principio Introducir operadores modales que califican la verdad relacionando puntos de evaluación mediante una semántica relacional (semántica de Kripke): □φ es verdadero en un mundo si y solo si φ es verdadero en todos los mundos accesibles; ◇φ si existe algún mundo accesible donde φ es verdadero. ## Demostración Demostración En un marco de Kripke que modela conocimiento, los mundos representan estados epistémicos de agentes y la relación de accesibilidad la indistinguibilidad; □p expresa que la proposición p es conocida en todos los estados indistinguibles, por ejemplo al verificar que todas las creencias compatibles con la evidencia implican p. ## Aplicación incorrecta Aplicación incorrecta Tratar los operadores modales como cuantificadores ordinarios sobre individuos (por ejemplo leer □ como un cuantificador universal sobre el dominio), lo que elimina la dependencia de la relación de accesibilidad y anula las inferencias modales. ## Consecuencia Consecuencia Cuando se aplica correctamente, la lógica modal deja explícito cómo depende la verdad de estados o perspectivas alternativos, permitiendo analizar formalmente necesidad, posibilidad, conocimiento, obligación y otras nociones modales dentro de un marco semántico unificado. ## Inversión Inversión El reverso es la lógica proposicional o de predicados ordinaria sin operadores modales, donde la verdad es absoluta en una interpretación fija y no hay una noción estructurada de puntos de evaluación alternativos. ## Límite Límite La lógica modal, tal como se define aquí, presupone semántica relacional y no captura por sí sola incertidumbre cuantitativa, duraciones o probabilidades sin extensiones; sistemas modales concretos (K, S4, S5, deóntico, epistémico) imponen axiomas adicionales que cambian las inferencias válidas. ## Tensión semántica Tensión semántica Compite con semánticas cuantificadas y con enfoques no relacionales (algebraicos o proof-teóricos); la tensión surge de interpretar □ como necesidad metafísica, certeza epistémica, obligación deóntica o simplemente operador de prueba, cada interpretación exigiendo diferentes restricciones sobre la accesibilidad. ## Síntesis Síntesis La lógica modal es el mecanismo formal que complementa los cálculos clásicos con operadores interpretados a través de una red de puntos de evaluación alternativos, capturando diversas modalidades (necesidad, posibilidad, conocimiento, obligación) al hacer explícita la estructura de esas alternativas mediante una relación de accesibilidad.