First-order Non-monotonic Modal Logics

Authors:
Michael Kaminski;Guy Rey
Affiliations:
(Correspd.) Department of Computer Science, Technion - Israel Institute of Technology, Haifa 32000, Israel;(Correspd.) Utopy Inc., 330 Fell St., San Francisco, CA 94102, U.S.A.
Venue:
Fundamenta Informaticae
Year:
2000

Citing 19
Cited 1

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Introduction to mathematical logic; (3rd ed.)

Introduction to mathematical logic; (3rd ed.)
Possible-world semantics for autoepistemic logic

Readings in nonmonotonic reasoning
On the relation between default and autoepistemic logic

Artificial Intelligence
All I know: a study in autoepistemic logic

Artificial Intelligence
On the classification and existence of structures in default logic

Fundamenta Informaticae
Embedding a default system into nonmonotonic logics

Fundamenta Informaticae
Relating autoepistemic and default logics

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic default modal logics

Journal of the ACM (JACM)
Quantification in autoepistemic logic

Fundamenta Informaticae - Special issue: logics for artificial intelligence
Translating default logic into standard autoepistemic logic

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

Artificial Intelligence
A note on the stable model semantics for logic programs

Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Foundations of Logic Programming

Foundations of Logic Programming
On the intertranslatability of non-monotonic logics

Annals of Mathematics and Artificial Intelligence
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription

JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Autoepistemic modal logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Modal interpretations of default logic

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

First-Order Ground Non-Monotonic Modal Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce first-order non-monotonic modal logic and study its properties. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order non-monotonic modal logic well complies with that of first-order default logic and circumscription, providing a substantial evidence for its acceptance. In addition, our definition implies all properties of propositional non-monotonic modal logic, which supplies an additional support for its adequacy.