@misc{indiciaeb27c6d655f1a, title = {Split Interpolation: Refining Craig's Theorem via Three-Valued Logics}, author = {Quentin Blomet}, year = {2025}, url = {https://arxiv.org/abs/2503.20924}, note = {Source identifier: 2503.20924} }