Key points are not available for this paper at this time.
Les logiques traditionnelles souffrent du "problème de monotonicité" ; de nouveaux axiomes ne valident jamais les anciens théorèmes. Une façon de se débarrasser de ce problème est d'élargir la logique modale traditionnelle de la manière suivante.
Drew McDermott (vendredi) a étudié cette question.