正则模型类的时态可定义性

摘要：

正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t-互模拟像、C2t-超滤扩张下封闭,并且它的补类在C2t-超滤扩张下封闭,该刻画定理说明了时态语言在正则模型类上的表达力.

关键词：正则模型、时态语言、C2t-互模拟、C2t-超滤扩张、时态可定义性

所属期刊栏目：28

分类号：TP301(计算技术、计算机技术)

资助基金：国家社会科学基金重大项目14ZDB016Major Project of National Social Science Foundation of China 14ZDB016

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

页数：共10页

页码：1070-1079