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
No takes yet. Share an insight, caveat, or question.
Drew McDermott (1982) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: