论文部分内容阅读
本文主要讨论描述逻辑ALC的模态扩充，介绍扩充后所得的模态描述逻辑MALC的语法与语义，然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法，并且证明他们具有的性质．
模态描述逻辑的模型
【摘 要】
：
本文主要讨论描述逻辑ALC的模态扩充，介绍扩充后所得的模态描述逻辑MALC的语法与语义，然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法，并且证明他们具有的性质．
【机 构】
：
黔南民族师范学院数学系,广西师范大学数学科学学院
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2007年2期
【基金项目】
：
国家自然科学基金（No.60573010,No.60663001）、广西青年科学基金（No.0447032）、广西青年科学基金（No、0640030）和黔南民族师范学院科研项目的支持.
其他文献
我国广播电视事业在二十一世纪得到了进一步的发展,中波发射台监测系统更新换代也成为大势所趋。为实现中波发射台的智能化监测管理,本文以中波发射台的运维管理为切入点,依
网络信息时代的发展下,在教学领域发生了许多变化,同时两者的结合也愈加紧密。在大多数学校中都配备了智能的网络教学设备,教师可以利用网络为自己的教学服务。电工技能实训
随着科技和经济社会的不断发展进步,在人们的物质生活水平得到极大提升的前提下,人们的精神文化生活也得到了普遍的关注。基于计算机的各项技术也日渐深入人们生产生活的各个
我们引入了对于弱扭曲结构的α-条件,研究了一个用弱扭曲结构构造的余环的稠密有理对,并把有理模的一些重要结果应用到了弱扭曲模范畴,推广了Jawad相应的结果.
大数据正在改变我们的生活以及理解世界的方式,那么以数据为研究对象的统计学该如何应对?高等院校经管类专业统计学教学该如何应对?本文基于大数据探讨经管类专业统计学教学
T-倾斜模是经典的倾斜模的一个推广，它与三角范畴中的Cluster-倾斜模以及Silting对象有着密切的联系．本文给出了根平方为零的Nakayama代数上的所有的T-倾斜模．
利用关于Ⅰ类二次系统的已知结果,在此文中我们系统分析了Ⅲ类二次系统当α=0时其极限环的产生与消失的整个过程,并给出了一些新的拓扑结构变化,它们在Ⅰ类系统中是不会出现
本文给出了应用微分变换法求解线性高指数微分代数方程组的一般程式;利用特殊标号树理论证明了Faa di Bruno公式;再将微分变换法应用于非线性高指数微分代数方程组,并对约束
为了公众的健康,从高剂量到低剂量外推来获得安全剂量是一个关键的问题之一.对单一有毒物体的低剂量外推已经取得了一些进展,然而人类不是生活在单一的有毒物体下,而是生活在
本文利用min-max原理的一个新的形式，在共振的条件下，证明了一个高维半线性椭圆型偏微分方程Dirichlet边值问题广义解的存在唯一性定理，推广了已知的结果．