First-Order Ground Non-Monotonic Modal Logic

Authors:
Benjamin Grimberg;Michael Kaminski
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
Venue:
Fundamenta Informaticae
Year:
2008

Citing 11
Cited 1

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)
On the relation between default and autoepistemic logic

Artificial Intelligence
Embedding a default system into nonmonotonic logics

Fundamenta Informaticae
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule

Fundamenta Informaticae
Nonmonotonic default modal logics

Journal of the ACM (JACM)
A comparative study of open default theories

Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
First-order non-monotonic modal logics

Fundamenta Informaticae
Foundations of Logic Programming

Foundations of Logic Programming
Revisiting quantification in autoepistemic logic

ACM Transactions on Computational Logic (TOCL)
On the intertranslatability of non-monotonic logics

Annals of Mathematics and Artificial Intelligence

A non-preferential semantics of non-monotonic modal logic

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the extension of propositional ground non-monotonicmodal logic to the firstorder case. We show that first-order groundnon-monotonic modal logic well complies with first-order defaultlogic by interpreting the latter in the former by theTruszczyński like translation and present a minimal modelsemantics of first-order ground non-monotonicmodal logic.