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 a logic for non-ignorance LNI 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 |
---|---|---|
2012 | 10.1109/GrC.2012.6468683 | GrC |
Keywords | Field | DocType |
formal logic | Epistemic modal logic,Autoepistemic logic,Computer science,Description logic,Artificial intelligence,Philosophy of logic,Intuitionistic logic,Multimodal logic,Algorithm,Modal logic,Machine learning,Intermediate logic,Calculus | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Seiki Akama | 1 | 71 | 27.71 |
Tetsuya Murai | 2 | 186 | 42.10 |
Yasuo Kudo | 3 | 95 | 26.41 |