A modal characterization of defeasible deontic conditionals and conditional goals
system z : a natural ordering of defaults with tractable applications to nonmonotonic reasoning .