| 模态描述逻辑的模型 |
| |
| 引用本文： | 余泉,王驹.模态描述逻辑的模型[J].南京大学学报(自然科学版),2007,24(2):222-237. |
| |
| 作者姓名： | 余泉 王驹 |
| |
| 作者单位： | 黔南民族师范学院数学系，广西师范大学数学科学学院 都匀558000/广西师范大学数学科学学院，桂林54104，桂林54104 |
| |
| 基金项目： | 国家自然科学基金，广西青年科学基金，广西青年科学基金，黔南民族师范学院校科研和教改项目 |
| |
| 摘 要： | 本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.
|
| 关 键 词： | 描述逻辑 模态逻辑 扩充 |
| 修稿时间： | 2007年6月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 维普 万方数据 等数据库收录！ |
|
