Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes......

是多代理人合作逻辑的一种重要类型的交替时间的时间的认识逻辑(ATEL ) 仅仅拿知识进说明，但是不处理代理人的信仰。由介绍三种信仰......