《计算机学报》文章摘要   全文下载
文章题目	一种新的模态归结
作者	潘维民 *陈图云
作者单位	(中国科学院计算技术研究所 北京 100080) (辽宁师范大学数学系 大连 116022) *(辽宁师范大学数学系 大连 116022)
发表年份	1997
发表月份	8期　（页码：711—-717)
文章摘要	本文首先给出了一种标准子句的定义, 在其基础上定义了命题模态逻辑系统S5的子句集的可归结形式.证明了任意模态S5子句集不可满足的充要条件为在其可归结形式上可归结出空子句.