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