A Logical Theory of Nonmonotonic Inference and Belief Change sidottuEnglanti, 2001