La lógica híbrida se refiere a una serie de extensiones de la lógica modal proposicional con más poder expresivo, aunque aún menor que la lógica de primer orden . En lógica formal , existe; Es una compensación entre expresividad y manejabilidad computacional . La historia de la lógica híbrida comenzó con el trabajo de Arthur Prior sobre lógica tensa . [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 exactamente en 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 prueba y análisis lógico del lenguaje natural . La lógica híbrida también está estrechamente relacionada con la lógica de descripción porque el uso de nominales permite realizar un razonamiento asertivo ABox , así como el razonamiento terminológico más estándar TBox .