布尔模态逻辑的泛模型与有限模型  

作　　者：朱朝晖[1] 王雪[2] 朱梧槚[1] 

机构地区：[1]南京航空航天大学计算机科学研究所,南京210016 [2]南京邮电学院计算机系,南京210003

出　　处：《科学通报》1997年第18期1944-1950,共7页Chinese Science Bulletin

基　　金：国家基础研究"攀登"计划;"八六三"高技术计划资助项目

摘　　要：布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.

关 键 词：布尔模态逻辑 泛模型 有限模型性 小模型规模 

分 类 号：O141[理学—数学]