%0 Journal Article
%T 布尔模态逻辑的泛模型与有限模型
%A 朱朝晖
%A 王雪
%A 朱梧槚
%J 科学通报
%P 1944-1950
%D 1997
%X 布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.
%K 布尔模态逻辑
%K 泛模型
%K 有限模型性
%K 小模型规模的上界
%U http://csb.scichina.com:8080/CN/abstract/abstract364964.shtml