modalité

concept manière de classer des propositions en logique comme nécessairement vraies, possiblement vraies ...