首页
|
本学科首页
官方微博
|
高级检索
相似文献
共查询到1条相似文献,搜索用时 0 毫秒
1.
量词模态逻辑的代数语义学(Ⅱ)——关于含Barcan公式的正规模态系统的情形
吕健安
高恒珊
《数学学报》
1988,31(5):692-698
在本文中,我们讨论了六个具有Barcan公式的正规量词模态系统K+BF,K4+BF,T(D)+BF,T+BF,S4+BF及B~*的代数语义,并通过建立它们的Kripke语义与代数语义的单方面联系,从它们的Kripke语义完全性得出了它们的代数语义完全性.这种方法,至少对研究具有Barcan公式的正规量词模态系统的代数语义完全性而言,有相当的一般性.
相似文献
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号