Ground Nonmonotonic Modal Logic S5: New Results | Publicación