认知逻辑

（计算机科学技术名词）

认知逻辑（epistemic logic）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词，出自《计算机科学技术名词》第三版。泛指刻画“知道”“相信”等认知概念的逻辑系统。