让下一篇重要论文，不再错过。

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

Daniel Găină, Go Hashimoto

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.

尚无 AI 解读，展示原文摘要