凭借构造性逻辑的Ｋｒｉｐｋｅ语义，给出了在自然语言语义理解过程中的增量式构造语义解释模型的方法。......

基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理......

首先建立了一种多Agent信念逻辑MBL(multi-agent belief logic),在经典信念逻辑基础上增加了普遍信念算子和公共信念算子,给出MBL......

在信念逻辑基础上，引入概率，给出了一种概率信念逻辑PBL，增强了信念逻辑的表述能力和推理能力。并为PBL建立了两种语义：首先将知识逻辑......

针对基于粗糙集理论的决策信息系统的特点,引入属性常量作为基本符号,对命题模态逻辑进行扩展,给出了扩展命题模态逻辑形式系统及......