...

本文从语法角度出发,利用模糊测度定义了一种新的模糊算子Φ,并用其刻划了一种新的模态逻辑,从而对南斯拉夫学者Branislav B.提出......

本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结，证明了任意模态子句集恒......

为了克服Ｌ．Ｆａｒｉｎａｓ ｄｅｌ Ｃｅｒｒｏ等人的命题模态归方法过多的符号冗余，我们增加了一条两个可能处子约束下公式的归结规则，称之为樗模态旭结方法，证明了标......

本文首先给出了一种标准子句的定义，在其基础上定义了命题模态逻辑系统Ｓ５的子句集的可归结形式。证明了任意模态Ｓ５子句集不可满足的充要......

本文提出了一种模态归结的弱包含删除策略，证明了使用弱包含删除策略模态归结的完备性。从而，将Ａｕｆｆｒａｙ等人提出的开问题－－模态归结包含删除策......