Los puntos clave no están disponibles para este artículo en este momento.
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.