de Nivelle，H。 命题模态系统中的泛型分解。 （英语） Zbl 0793.68136号 安德烈·沃伦科夫（编辑），《逻辑编程和自动推理》。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。698, 241-252 (1993). 摘要：我们提出了一种获得模态命题逻辑解析系统的通用方法。模态逻辑解析系统的规则可以从描述逻辑的框架属性中导出。我们描述了我们的方法适用的框架属性集。有关整个系列，请参见[Zbl 0875.00121号]. 引用于1文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 03B45号 模态逻辑（包括规范逻辑） 关键词：自动定理证明;分辨率;命题逻辑;模态逻辑 软件：TABLEAUX公司 PDF格式BibTeX公司 XML格式引用 \textit{H.de Nivelle}，莱克特。注释计算。科学。698、241--252（1993；Zbl 0793.68136）