Abstract | ||
---|---|---|
Epistemic logic was proposed by Hintikka to model human knowledge and beliefs. Since then, a lot of work has been done to improve epistemic logic for applications to several problems. One of the interesting problems is to relate the concept of ignorance to that of knowledge. In this paper, we introduce an epistemic logic LNI founded on nonignorance by extending the classical propositional logic with the operator Ni. We describe its axiomatization and Kripke semantics. We show some technical results including a completeness and discuss some applications and extensions. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1002/int.21609 | INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS |
Field | DocType | Volume |
Epistemic modal logic,Epistemic possibility,Autoepistemic logic,Artificial intelligence,Philosophy of logic,Discrete mathematics,Normal modal logic,Multimodal logic,Modal logic,Epistemology,Machine learning,Mathematics,Intermediate logic | Journal | 28 |
Issue | ISSN | Citations |
9 | 0884-8173 | 0 |
PageRank | References | Authors |
0.34 | 4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Seiki Akama | 1 | 71 | 27.71 |
Tetsuya Murai | 2 | 186 | 42.10 |
Yasuo Kudo | 3 | 95 | 26.41 |