非正规模态逻辑C2的时态扩张

本文构建了非正规时态逻辑C2t的矢列演算GC2t。运用高野道夫(M.Takana)的语义方法证明了GC2t的子公式性质,进而证明了GC2t的有穷模型性和可判定性。另外,本文还证明了GC2t的插值性质。

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

"秘密"是知识与信念中的一个重要概念,也是信息网络隐私与安全所讨论的重要对象。文章从知识逻辑与信念逻辑两个方面分析了"秘密"的逻辑语义,并给出了其归约公理以及基于知识逻辑与信念逻辑的完全的公理化系统。然后从知识逻辑与信念逻辑两个方面剖析"纯秘密逻辑系统"的公理与规则,发现它们都是一个非正规模态逻辑系统ECKT4的扩张,这两个"纯秘密逻辑系统"只在讨论不同主体间的互动推理时存在差异,只是这两个系统的完全性问题还有待进一步研究。