混合模态逻辑的有穷模型性研究

摘要：

本文研究了混合模态逻辑的有穷模型性问题,介绍了一种基于代数证明论的有穷模型性证明新方法,并用该方法证明了混合时态逻辑K4.t和模态逻辑S5的混合逻辑具有有穷模型性.因此可推导出混合时态逻辑K4.t和模态逻辑S5是可判定的.该结果被延伸到其他常见的时态逻辑与模态逻辑的混合,时态逻辑之间的混合和模态逻辑之间的混合,并得到它们的有穷模型性证明.

关键词：混合模态逻辑;有穷模型性

所属期刊栏目：14

分类号：B81(逻辑学(论理学))

资助基金：本文受国家社科基金项目"非经典模态逻辑的证明论与语义学研究"17CZX048

在线出版日期：2021-10-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：37-51