信念逻辑相关论文
１９９３年国外哲学逻辑研究新进展李小五本年度哲学逻辑研究取得了许多新的进展，各分支学科的研究继续向深度和广度发展。现在分学科综述如......
“秘密”是知识与信念中的一个重要概念,也是信息网络隐私与安全所讨论的重要对象。文章从知识逻辑与信念逻辑两个方面分析了“秘......
人们拥有信念，信念即是人们相信的东西。然而认知主体的认知世界里存在不相信的东西。可以说，不相信的东西是人们的“负信念”。人们......
Security protocols use cryptography system to complete the tasks of principal identity authentication andseccion key dis......
首先建立了一种多Agent信念逻辑MBL(multi-agent belief logic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL......
主体的认知世界可以划分为"信念世界(WB)"、"怀疑世界(WD)"和"无知世界(WU)",这三个世界中的元素是认知命题.这三个世界之间是不重......
传统“休谟法则”是关于道德推理有效性的问题，但将休谟问题当作逻辑效度问题来对待，既是对休谟本人的背离，也注定了该问题的无解。重......
基于类型理论的安全协议验证技术是近年来新出现的技术途径之一.本文在对基于类型理论的安全协议验证技术及其研究现状进行简要介......
近几年,对网构软件可信性的研究成为学术界研究的热点,网构软件的出现给现有的软件技术研究提出了新的课题,现有的软件理论、方法......
针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点，在传统Petri网基础上提出一种适合描述电子商务协议的信......
