模态描述逻辑的模型

摘要：

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.

关键词：描述逻辑、模态逻辑、扩充

所属期刊栏目：24

分类号：O141.4(数理逻辑、数学基础)

资助基金：国家自然科学基金60573010;60663001;广西青年科学基金0447032;广西青年科学基金0640030;黔南民族师范学院校科研和教改项目

在线出版日期：2008-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：222-237