A preference semantics for ground nonmonotonic modal logics