Los operadores modales son constantes lógicas que se caracterizan por "calificar" el valor de verdad de las proposiciones.