混合模态逻辑的有穷模型性研究
发布人：网站编辑
发布日期：2022-10-23
逻辑学研究 2021 年第 4 期，37–51 文章编号：16743202(2021)04003715
作者：彭玉 林哲
摘 要：本文研究了混合模态逻辑的有穷模型性问题，介绍了一种基于代数证明论的有穷模型性证明新方法，并用该方法证明了混合时态逻辑 K4.t 和模态逻辑 S5 的混合逻辑具有有穷模型性。因此可推导出混合时态逻辑 K4.t 和模态逻辑 S5 是可判定的。该结果被延伸到其他常见的时态逻辑与模态逻辑的混合，时态逻辑之间的混合和模态逻辑之间的混合，并得到它们的有穷模型性证明。
关键词：混合模态逻辑；有穷模型性
中图分类号：B81 文献标识码：A