We study the extension of propositional ground non-monotonic modal logic to the first-order case. We show that first-order ground non-monotonic modal logic well complies with first-order default logic by interpreting the latter in the former by the Truszczy\'nski like translation and present a minimal model semantics of first-order ground non-monotonic modal logic.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.