| 模态描述逻辑的模型 |
| |
| 引用本文： | 余泉,王驹. 模态描述逻辑的模型[J]. 南京大学学报(自然科学版), 2007, 24(2): 222-237 |
| |
| 作者姓名： | 余泉 王驹 |
| |
| 作者单位： | 黔南民族师范学院数学系,都匀,558000;广西师范大学数学科学学院,桂林,54104;广西师范大学数学科学学院,桂林,54104 |
| |
| 基金项目： | 国家自然科学基金，广西青年科学基金，广西青年科学基金，黔南民族师范学院校科研和教改项目 |
| |
| 摘 要： | 本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.
|
| 关 键 词： | 描述逻辑 模态逻辑 扩充 |
| 修稿时间： | 2007-06-15 |
THE MODEL OF MODAL DESCRIPTION LOGIC |
| |
| Yu Quan,Wang Ju. THE MODEL OF MODAL DESCRIPTION LOGIC[J]. Journal of Nanjing University: Nat Sci Ed, 2007, 24(2): 222-237 |
| |
| Authors: | Yu Quan Wang Ju |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
