Only-Knowing Meets Nonmonotonic Modal Logic