First-Order Ground Non-Monotonic Modal Logic. - Benjamin Grimberg; Michael Kaminski (Fundam. Informaticae, 2008)