 This kind of dynamics is characteristic for non-monotonic logics, in fact it is the reason for their name. They violate the Monotony property which holds for deductive reasoning, for instance, for the relation of logical consequence \(\vDash\) of CL (see the entry on  classical logic  for details on the relation \(\vDash\)): 