A non-preferential semantics of non-monotonic modal logic

Authors:
Michael Kaminski
Affiliations:
Department of Computer Science, Technion---Israel Institute of Technology, Haifa, Israel 32000
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2008

Citing 9
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Possible-world semantics for autoepistemic logic

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

Artificial Intelligence
A note on non-monotonic modal logic

Artificial Intelligence
Basic modal logic

Handbook of logic in artificial intelligence and logic programming (vol. 1)
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
The Logic of Objective Knowledge and Rational Belief

JELIA '90 Proceedings of the European Workshop on Logics in AI
Autoepistemic modal logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
First-Order Ground Non-Monotonic Modal Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new semantical description of non-monotonic modal logic whose underlying (monotonic) modal logic S is characterized by a class of cluster-decomposable Kripke interpretations: it is shown that S-expansions coincide with the theories of isolated clusters of the canonical model of S.