混合模态逻辑的有穷模型性研究
Studies in Logic（2021）
摘要
本文研究了混合模态逻辑的有穷模型性问题,介绍了一种基于代数证明论的有穷模型性证明新方法,并用该方法证明了混合时态逻辑K4.t和模态逻辑S5的混合逻辑具有有穷模型性.因此可推导出混合时态逻辑K4.t和模态逻辑S5是可判定的.该结果被延伸到其他常见的时态逻辑与模态逻辑的混合,时态逻辑之间的混合和模态逻辑之间的混合,并得到它们的有穷模型性证明.
更多AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要