como usamos modals
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 el juicio «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». De manera análoga, la expresión «siempre» califica a un juicio verdadero como verdadero en cualquier momento, es decir, "siempre". No es lo mismo decir «está lloviendo» que decir «siempre está lloviendo».