BDL逻辑相关硕士博士期刊学术论文

把命题动态逻辑PDL和模态逻辑S5进行融合后,得到的动态信念和知识的多主体逻辑(简称BDL),可以对动态认知信息进行推理.为此,一方面......