En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d`ordre supérieur avec des modalités. Une modalité spécifie des qualités du vrai. Par exemple, une proposition comme « il pleut » p...