« Logique modale » : différence entre les versions

En [[logique mathématiquephilosophique]], une '''logique''' '''modale''' est un type de logique formelle qui étend la [[logique propositionnelle]] ou la logique du premier ordre avec des [[modalité|modalités]]. Une modalité spécifie des qualités du [[valeur de vérité|vrai]]. Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité ː