摘要
"秘密"是知识与信念中的一个重要概念,也是信息网络隐私与安全所讨论的重要对象。文章从知识逻辑与信念逻辑两个方面分析了"秘密"的逻辑语义,并给出了其归约公理以及基于知识逻辑与信念逻辑的完全的公理化系统。然后从知识逻辑与信念逻辑两个方面剖析"纯秘密逻辑系统"的公理与规则,发现它们都是一个非正规模态逻辑系统ECKT4的扩张,这两个"纯秘密逻辑系统"只在讨论不同主体间的互动推理时存在差异,只是这两个系统的完全性问题还有待进一步研究。
"Secret"is an important notion for knowledge and belief,and an important object discussed by information network privacy and security.We analyze the logical semantics of"secret"from Epistemic Logic and Deontic Logic,and offer its reduction axioms and axiomatization systems respectively.To capture the logical properties of the notion"secrets",we further analyze and discuss its axioms and rules of"a pure logic system of secret"from the semantics of Epistemic Logic and Deontic Logic,and find that"the logic system of secret"from the semantics of Epistemic Logic is the same as from the semantics of Deontic Logic under the single-agent system(satisfying the same axioms and rules).In particular,pure systems of secrets generated by different semantics are all non-normal modal logics,they are extensions of the ECKT4 system.An important difference for the two systems rests in interactions among multiple agents,the completeness results of these two systems are still open problems.
作者
熊作军
张玉志
XIONG Zuo-jun;ZHANG Yu-zhi(Institute of Logic and Intelligence,Southwest University,Chongqing 400715,China;School of Political Science and Public Administration,Qufu Normal University,Rizhao 276825,China)
出处
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2021年第3期27-38,共12页
Journal of Hunan University of Science and Technology(Social Science Edition)
基金
教育部人文社会科学研究青年基金项目(20YJC72040002)
国家社会科基金重大项目(14ZDB016)。
关键词
秘密
知识逻辑
信念逻辑
非正规模态逻辑
secret
epistemic logic
doxastic logic
non-normal modal logic
