Modalité (logique)

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.