Une modalité, en logique, est une classe dans laquelle on peut classer les propositions logiques comme possibles, nécessaires ou 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.
Liens externes
Catégorie:Logique