摘 要 :模态Herbrand定理研究是模态逻辑领域的重要开放问题.不含Barcan公式的模态系统T的Herhrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明.同样的方法还可以用来证明模态系统D、K4、s4的Herbrand定理.
有关论文范文主题研究: | 可靠性相关论文范文 | 大学生适用: | 专升本毕业论文、学院学士论文 |
---|---|---|---|
相关参考文献下载数量: | 79 | 写作解决问题: | 怎么写 |
毕业论文开题报告: | 论文提纲、论文目录 | 职称论文适用: | 刊物发表、高级职称 |
所属大学生专业类别: | 怎么写 | 论文题目推荐度: | 免费选题 |