Logique Modale

Une famille de logiques formelles qui étendent les calculs propositionnels ou prédicatifs par des opérateurs modaux (par exemple □ pour la nécessité et ◇ pour la possibilité) afin d'exprimer des modes de vérité relatifs à des points d'un modèle pourvus d'une relation d'accessibilité.