Logik, die eine Verminderung des Wissensbestand mit der Zeit ermöglicht. U.a. Circumscription, Default-Logik, d.h. Allsätze haben Ausnahmen.