混合逻辑的强制和计算
本文通过在分层制度框架中定义多种混合逻辑的证明计算，为开发形式化验证方法以推理克里普克结构奠定了统一的基础。 混合逻辑中逻辑程序设计的基础
在一个非常一般的混合逻辑系统上发展了基本的逻辑编程语义概念，如查询和解，以及基本结果，如初始模型的存在性和赫伯兰德定理。 基于构造函数的逻辑
定义了形式化为机构的基于构造函数的Horn逻辑的证明规则，并在机构的抽象框架中提供了完整性证明。 机构：规范和编程的抽象模型理论
本文指出，任何能够将签名粘合在一起的机构都可以将理论粘合在一起（这些理论只是固定签名上的句子集合），并说明了如何定义允许来自两个或多个机构的句子和约束的机构。 模块化的逻辑支持
总的来说，等式逻辑可能比（cid:12）一阶逻辑更适合模块化，这与先前的结果一致。 机构依赖的Ultra产品
本文基于对逻辑中一些重要概念（如量化、逻辑连接词和基本原子句）的语义的一种新的非常一般的处理，将超积方法从传统模型理论推广到机构依赖框架。