认识逻辑的英文

epistemic logic

• 认识:    be familiar with; ...
• 逻辑:    logic
• 自动认识逻辑:    autoepistemic logi ...

例句与用法

1. Epistemic logic : on the decidability of epistemic logic
   关于认识逻辑的可判定性
2. 3 halpern j , zuck l . a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols . journal of the acm , 1992 , 39 : 449 - 478
   并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范

百科释义

认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。