布尔模态逻辑的泛模型与有限模型 |
| |
引用本文: | 朱朝晖.布尔模态逻辑的泛模型与有限模型[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全文 |
|