Une modalité, dans une logique, est une classe dans laquelle on peut classer les
propositions logique comme "possible", nécessaires, toujours valides, ... Les
logiques modales sont des exemples de logiques définies selon des ensembles différents de modalités de l'ensemble de modalité de la
logique classique, en étendant cette dernière.