驯服“类 McKinsey”公式:混合逻辑 H(@) 的扩展对应与完备性理论
逻辑
2022-10-11 v1 计算机科学中的逻辑
摘要
在本文中,我们扩展 [8] 中混合语言 L(@) 的归纳公式片段,纳入一个类 McKinsey 公式,并通过改进 [8] 中的 hybrid-ALBA 算法,证明该扩展类中每个公式都具有一阶对应者。我们还识别出该扩展归纳片段的一个子类,即扩展骨架公式,其扩展了 [8] 中的骨架公式类,其中每个公式可公理化一个完备混合逻辑。此处我们的证明方法是证明论的,遵循 [10, 19] 与 [3, 第14章],不同于 [8] 中的代数证明。
引用
@article{arxiv.2210.04433,
title = {Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)},
author = {Zhiguang Zhao},
journal= {arXiv preprint arXiv:2210.04433},
year = {2022}
}
备注
arXiv admin note: text overlap with arXiv:2207.01288