圭多州长;亚历山德罗·卢皮 非正常模态逻辑的标签表。 （英语） Zbl 0961.03016号 Lamma，Evelina（编辑）等人，AI*IA 99：人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚，1999年9月14日至17日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1792, 119-130 (2000). 摘要：我们展示了如何扩展KEM，一个正规模态逻辑的类表证明系统，以便以统一和模块的方式处理单调和正则等非正规模态逻辑类。关于整个系列，请参见[Zbl 0935.00047号]. 引用于三文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B45号 模态逻辑（包括规范逻辑） 关键词：表格式证明系统;非正规模态逻辑 PDF格式BibTeX公司 XML格式引用 \textit{G.总督}和\textit{A.Luppi}，莱克特。注释计算。科学。1792、119--130（2000年；Zbl 0961.03016）