首页 | 本学科首页   官方微博 | 高级检索  
     检索      

布尔模态逻辑的泛模型与有限模型
引用本文:朱朝晖.布尔模态逻辑的泛模型与有限模型[J].科学通报,1997,42(18):1944-1950.
作者姓名:朱朝晖
作者单位:南京航空航天大学计算机科学研究所 南京210016 (朱朝晖),南京邮电学院计算机系 南京210003 (王雪),南京航空航天大学计算机科学研究所 南京210016(朱梧槚)
基金项目:国家基础研究“攀登”计划、“八六三”高技术计划资助项目
摘    要:布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.

关 键 词:布尔模态逻辑  泛模型  有限模型性  小模型规模
收稿时间:1996-07-18
修稿时间:1997-06-02
本文献已被 CNKI 维普 等数据库收录!
点击此处可从《科学通报》浏览原始摘要信息
点击此处可从《科学通报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号