Lógica Modal

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.