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…