Key points are not available for this paper at this time.
Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem ts to extend traditional modal logic in the following way
Drew McDermott (Fri,) studied this question.