关于“秘密”的逻辑语义研究

来源 :湖南科技大学学报:社会科学版 | 被引量 : 0次 | 上传用户:laobo999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
“秘密”是知识与信念中的一个重要概念,也是信息网络隐私与安全所讨论的重要对象。文章从知识逻辑与信念逻辑两个方面分析了“秘密”的逻辑语义,并给出了其归约公理以及基于知识逻辑与信念逻辑的完全的公理化系统。然后从知识逻辑与信念逻辑两个方面剖析“纯秘密逻辑系统”的公理与规则,发现它们都是一个非正规模态逻辑系统ECKT4的扩张,这两个“纯秘密逻辑系统”只在讨论不同主体间的互动推理时存在差异,只是这两个系统的完全性问题还有待进一步研究。
其他文献
近年来,全球极端气候致使暴雨频发,深圳市也频繁遭遇暴雨内涝灾害,影响城市运行。如何保障城市排水防涝安全,成为城市发展亟待解决的热点和难点问题。针对内涝顽疾,国务院、住建部、广东省政府相继发文,要求加强雨水排放管理,构建城市排水防涝数学模型,提高城镇内涝防治水平。2014年至2016年,结合空间基础信息平台,深圳市系统建立了深圳市排水防涝数学模型,并开展了动态维护,持续为深圳市排水防涝精细化管理提供
期刊
小麦垂直农场(vertical wheat farms,VWF)是在传统的二维农业模式基础上,近几十年发展起来的新型三维立体农业种植模式,具有单位土地面积利用效率高、环境友好、绿色无公害、
In this paper,a series of ReaxFF molecular dynamic simulations were performed to study the oxidation of chemical passivated silicon(100) surface,which was termi
Main observation and conclusion Alkoxy radical-mediated carbon-carbon bond cleavages have emerged as a powerful strategy to complement traditional ionic-type transformations.However,carbon-carbon cleavage reaction triggered by alkoxy radical intermediate
High CO pressure (> 40 bar) is usually needed in radical carbonylation reactions in the absence of metal catalyst.In this communica-tion,we developed a transitio
Natural products and their derivatives have long been used as medicinal agents,and they still make up a significant fraction of clinically approved drugs.Natura
在中国,有情怀的古镇有很多,如丽江、凤凰、婺源、周庄、乌镇……它们宛如一颗颗明珠,镶嵌在中华大地上,散发着迷人的光泽。在广西北海,也有一个形成于19世纪的古镇,面朝烟波浩渺的廉州湾,静静地偏于城市一隅,至今仍保留着纯正的渔家生活风貌。它,就是高德古镇。历史记载,高德是北海开埠较早的港口之一,
期刊
The first example of Rh-catalyzed kinetic resolution of 1,3-disubstituted allene-1,3-dienes involving intramolecular[4+2]-cycloaddition has been developed.Follo
基于密度泛函理论和卡里普索结构预测方法,系统研究了 VnB8(n+1)-(n=1-3)团簇的几何结构、电子和光谱特性.首先,利用卡里普索结构预测方法确定了 VB16-的基态结构为高对称性
The reaction of 2-alkynylanisoles/sulfides with SOCl2 and DMSO was conducted to conveniently furnish the biologically interesting 3-(methylthio)-benzo[b]furans/