lógica modal

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales. Los operadores modales son expresiones que califican la verdad de los juicios. Por ejemplo, en la oración «es necesario que 2+2=4», la expresión «es necesario que» es un operador modal que califica de necesaria a la verdad del juicio «2+2=4».