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.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.