正則模型類的時態(tài)可定義性
大小:0.60 MB 人氣: 2017-12-29 需要積分:2
正則模型是非正規(guī)模態(tài)邏輯的模型,通過定義正則模型的不相交并、C2t-互模擬、生成子模型、C2t-超濾擴張等模型上的運算,可以證明一個正則模型類在時態(tài)語言中可定義當且僅當它在不相交并、滿C2t-互模擬像、C2t-超濾擴張下封閉,并且它的補類在C2t-超濾擴張下封閉,該刻畫定理說明了時態(tài)語言在正則模型類上的表達力。
?
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%