First-Order Ground Non-Monotonic Modal Logic

Article type: Research Article

Authors: Grimberg, Benjamin | Kaminski, Michael

Affiliations: Check Point Software Technologies Ltd. 5 Hasolelim St., Tel Aviv 67897, Israel. E-mail: bennyg@checkpoint.com | Department of Computer Science Technion – Israel Institute of Technology, Haifa 32000, Israel. E-mail: kaminski@cs.technion.ac.il

Abstract: We study the extension of propositional ground non-monotonic modal logic to the firstorder 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ński like translation and present a minimal model semantics of first-order ground non-monotonicmodal logic.

Keywords: First-order ground non-monotonic modal logic, first-order default logic, preference semantics, minimal model semantics, Herbrand semantics

Journal: Fundamenta Informaticae, vol. 83, no. 3, pp. 253-276, 2008