Nonmonotonic and inductive logic | lit.salon