配件，梅尔文 一阶模态表。 （英语） Zbl 0648.03004号 J.汽车。推理 191-213年第2期第4页（1988年）. 我们描述了四种标准模态逻辑的基于简单语义表的定理证明器，包括命题和一阶版本。这些定理证明器很容易在Prolog中实现，具有易于理解的行为，并为引入启发式提供了自然的场所。介绍了背景理论，并给出了一个命题和一个一阶版本的实现。审核人：M.配件 引用于21文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B45号 模态逻辑（包括规范逻辑） 03-04 数学逻辑和基础相关问题的软件、源代码等 关键词：模态逻辑;基于语义表的定理证明器;序言 PDF格式BibTeX公司 XML格式引用 \textit{M.配件}，J.Autom。推理4，No.2，191--213（1988；Zbl 0648.03004） 全文： 内政部