本文選題：模態(tài)邏輯系統(tǒng) + 有限模型性質(zhì)��； 參考：《中國人民大學(xué)學(xué)報(bào)》2006年03期

【摘要】：系統(tǒng)的“典范性”與“有限模型性質(zhì)”是與“完全性”緊密相關(guān)卻又有本質(zhì)不同的概念。通過KW系統(tǒng)說明有限典范模型與濾模型是證明系統(tǒng)有限模型性質(zhì)的兩種不同方法,但在技術(shù)上卻有許多共性。
[Abstract]:The "canonical" and "finite model properties" of the system are closely related to "completeness" but are essentially different concepts. The finite canonical model and the filter model are two different methods to prove the properties of the finite model through KW system, but there are many commonalities in technology.
【作者單位】： 中國人民大學(xué)哲學(xué)院
【分類號(hào)】：B815.1

【相似文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前1條

1 王曉;科恩的歸納支持研究[D];西南大學(xué);2011年

，

本文編號(hào)：1833046