Classical reasoning such as reasoning based on propositional logic is monotonic in the sense that adding new information does not remove any previously made conclusion. Common sense suggests that the failure of monotonic ...