Parte de la lógica proposicional que se refiere a los modos o grados del valor lógico de una proposición (modalidad).