摘要
本文试图以弗协调模态逻辑C_nG′为基础,建立一种弗协调认知逻辑C_nEK．
The paper is devoted to build a paraconsistent epistemic logic CnEK on the basis of the paraconsistent modal logic CnG″.
出处
《南京大学学报（数学半年刊）》
CAS
2007年第1期58-64,共7页
Journal of Nanjing University(Mathematical Biquarterly)
基金
Supported by the social Science Foundation of the Ministry of Education of China(06JA724002).
关键词
弗协调逻辑
认知逻辑
弗协调认知逻辑
paraconsistent logic, epistemic Logic,paraconsistent epistemic logic
