认识逻辑 meaning in English
epistemic logic
Examples
- Epistemic logic : on the decidability of epistemic logic
关于认识逻辑的可判定性 - 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
并且他们只是用认识逻辑描述协议的规范,但没有给出相应的算法,即给出一个具体的协议，如何自动生成公理集并自动验证他满足一些认知规范