arXiv:2601.08432 · v3

Forcing and interpolation in first-order hybrid logic with rigid symbols

首次提交 2026-01-13 19:03

版本更新 2026-11-04 16:52

雷达观测 2026-11-05 12:13

摘要

In this paper, we establish an analogue of Craig Interpolation Property for a many-sorted variant of first-order hybrid logic. We develop a forcing technique that dynamically adds new constants to the underlying signature in a way that preserves consistency, even in the presence of models with possibly empty domains. Using this forcing method, we derive general criteria that are sufficient for a signature square to satisfy Craig interpolation property.