Non-monotonic Logic

This is a type of logic where the conclusion can change in the light of new information or premises.