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 12
Cited 0

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)
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
Modal interpretations of default logic

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
First-order Non-monotonic Modal Logics

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.