A minimal model semantics for nonmonotonic reasoning