玛尔塔·恰尔迪亚·梅耶 具有绑定、传递性和关系层次结构的混合逻辑的证明过程。 （英语） Zbl 1381.03018号 Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。人工智能课堂讲稿，76-90（2013）。 摘要：在以前的一篇论文中，定义了一个表演算，它构成了具有逆形式、全局形式和绑定器限制使用的混合逻辑的决策过程。这项工作展示了如何将这种演算扩展到多模态逻辑，多模态逻辑具有两个主要用于描述逻辑的特征，即及物性和关系包含断言。还简要介绍了证明过程的实现，以及一些初步实验的结果。关于整个系列，请参见[Zbl 1264.68002号]. 引用于2文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B45号 模态逻辑（包括规范逻辑） 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：西比尔 PDF格式BibTeX公司 XML格式引用 \textit{M.Cialdea Mayer}，莱克特。注释计算。科学。7898，76-90（2013；Zbl 1381.03018） 全文： 内政部