Semantical considerations on nonmonotonic logic
Artificial Intelligence
Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
A framework for intuitionistic modal logics
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Towards a theory of knowledge and ignorance: preliminary report
Logics and models of concurrent systems
Three-valued formalizations of non-monotonic reasoning and logic programming
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Fundamenta Informaticae - Special issue: logics for artificial intelligence
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
More on modal aspects of default logic
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Fundamenta Informaticae - Special issue on modal logics in knowledge representation
A note on non-monotonic modal logic
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 3)
In search of a “true” logic of knowledge: the nonmonotonic perspective
Artificial Intelligence
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Many-Valued Non-Monotonic Modal Logics
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
A Family of Three-Valued Autoepistemic Logics
AI*IA Proceedings of the 2nd Congress of the Italian Association for Artificial Intelligence on Trends in Artificial Intelligence
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Hi-index | 0.00 |
A family of many-valued modal logics which correspond to possible-worlds models with many-valued accessibility relations, has been recently proposed by M. Fitting [7, 8]. Non-monotonic extensions of these logics are introduced with a fixpoint construction à la McDermott & Doyle and employ sequential belief sets as epistemic states [9]. In this paper we take a logical investigation of many-valued modal non-monotonic reasoning in Fitting's formal framework. We examine the notion of MV-stable sets which emerges as a sequential many-valued analog of Stalnaker-Moore stable sets and prove that several attractive epistemic properties are essentially retained in the many-valued setting, esp. when focusing on a syntactically simple epistemic fragment of MV-stable sets. We show that MV-stable sets are always closed under S4 consequence and identify three sufficient conditions for capturing axioms of negative introspection. Also, the relation of MV-stable sets to many-valued analogs of classical S5 models and to many-valued extensions of universal models is discussed. Finally, we pay special attention to the subclass of logics built on linear Heyting algebras and show that inside this subclass, the situation is very similar - in many respects - to the machinery devised by W. Marek, G. Schwarz and M. Truszczyński. In particular, the normal fragments of the two important classical ranges of modal non-monotonic logics remain intact: many-valued autoepistemic logic is captured by any non-monotonic logic in K5 - KD45 and many-valued reflexive autoepistemic logic corresponds to KTw5 - Sw5.