La lógica híbrida se refiere a una serie de extensiones de la lógica modal proposicional con mayor poder expresivo, aunque todavía menor que la lógica de primer orden . En la lógica formal , existe un equilibrio entre expresividad y manejabilidad computacional . La historia de la lógica híbrida comenzó con el trabajo de Arthur Prior en lógica temporal . [1]
A diferencia de la lógica modal ordinaria, la lógica híbrida permite hacer referencia a estados (mundos posibles) en fórmulas .
Esto se logra mediante una clase de fórmulas llamadas nominales , que son verdaderas en exactamente un estado, y mediante el uso del operador @, que se define de la siguiente manera:
Existen lógicas híbridas con operadores adicionales u otros, pero @ es más o menos estándar.
Las lógicas híbridas tienen muchas características en común con las lógicas temporales (que a veces utilizan construcciones de tipo nominal para denotar puntos específicos en el tiempo), y son una rica fuente de ideas para los investigadores de la lógica modal moderna. También tienen aplicaciones en las áreas de lógica de características, teoría de modelos , teoría de pruebas y análisis lógico del lenguaje natural . La lógica híbrida también está estrechamente relacionada con la lógica descriptiva porque el uso de nominales permite realizar razonamientos asertivos ABox , así como el razonamiento terminológico más estándar TBox .