带刚性符号的一阶混合逻辑中的力迫与插值
计算机科学中的逻辑
2026-05-08 v2
摘要
在本文中，我们为一阶混合逻辑的多类别变体建立了 Craig 插值性质的类似结论。我们发展了一种力迫技术，该技术能够以保持一致性的方式动态地向底层签名中添加新常量，即使在存在可能具有空域的模型时亦然。利用这种力迫方法，我们推导出了使签名方块满足 Craig 插值性质的充分一般性准则。
关键词
引用
@article{arxiv.2601.08432,
title = {Forcing and Interpolation in first-order hybrid Logic with rigid symbols},
author = {Daniel Găină and Go Hashimoto},
journal= {arXiv preprint arXiv:2601.08432},
year = {2026}
}