混合逻辑片段的模块化互模拟刻画
逻辑
2026-01-14 v1
摘要
已有若干混合逻辑片段通过某种互模拟下的不变性加以刻画。这些片段包括带或不带名义词的 （Areces、Blackburn、Marx），带或不带名义词的 （ten Cate），以及不带名义词的 （Hodkinson、Tahiri）。然而，其中某些刻画彼此并不相容。对于混合逻辑的其他片段，至今尚无此类刻画。我们为所有标准的混合逻辑片段证明了一个通用的互模拟刻画定理，特别是针对 Hodkinson 与 Tahiri 留下的带 与名义词的情形。我们的刻画建立在一个共同的基础上，并对每个特征扩展添加一个特定条件，因此它在工程意义上是模块化的。
引用
@article{arxiv.2312.14661,
title = {A modular bisimulation characterisation for fragments of hybrid logic},
author = {Guillermo Badia and Daniel Gaina and Alex Knapp and Tomasz Kowalski and Martin Wirsing},
journal= {arXiv preprint arXiv:2312.14661},
year = {2026}
}