@misc{indiciaeaead075d3bad, title = {Forcing and Interpolation in first-order hybrid Logic with rigid symbols}, author = {Daniel Găină and Go Hashimoto}, year = {2026}, url = {https://arxiv.org/abs/2601.08432}, note = {Source identifier: 2601.08432} }