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

发布人：网站编辑 发布日期：2023-11-01

逻辑学研究 2023 年第 5 期， 69–80        文章编号： 1674­3202(2023)­05­0069­12

作者：涂保勋

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

关键词： 非正规模态逻辑；子公式性质；有穷模型性；插值性质     

中图分类号： B81                     文献标识码： A

1674­3202(2023)­05­0069­12.pdf