期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
正则模型类的时态可定义性
1
作者 王善侠 马明辉 +1 位作者 陈武 邓辉文 《软件学报》 EI CSCD 北大核心 2017年第5期1070-1079,共10页
正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t-互模拟像、C2t-超滤扩张下封闭,并且它的... 正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t-互模拟像、C2t-超滤扩张下封闭,并且它的补类在C2t-超滤扩张下封闭.该刻画定理说明了时态语言在正则模型类上的表达力. 展开更多
关键词 正则模型 时态语言 C2t-互模拟 C2t-超滤扩张 时态可定义性
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部