论文标题
驯服“麦肯锡般的”公式：混合逻辑H（@）的扩展对应和完整性理论
Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)
论文作者
论文摘要
在本文中，我们扩展了[8]中混合语言L（@）的归纳公式的片段，包括麦肯锡般的公式，并表明扩展类中的每个公式都有一阶通讯员，通过修改[8]中的算法杂种杂交杂种。我们还标识了这种扩展的感应片段的子类，即扩展的骨骼公式，该骨骼公式扩展了[8]中的骨骼公式类别，每个公式在该公式中，在该公式中，将完整的混合逻辑化。在[10，19]和[3，第14章]之后，我们的证明方法是证明理论的，与[8]中的代数证明相反。
In the present article, we extend the fragment of inductive formulas for the hybrid language L(@) in [8] including a McKinsey-like formula, and show that every formula in the extended class has a first-order correspondent, by modifying the algorithm hybrid-ALBA in [8]. We also identify a subclass of this extended inductive fragment, namely the extended skeletal formulas, which extend the class of skeletal formulas in [8], each formula in which axiomatize a complete hybrid logic. Our proof method here is proof-theoretic, following [10, 19] and [3, Chapter 14], in contrast to the algebraic proof in [8].
