@misc{indiciae9c118428e233, title = {Computation and Size of Interpolants for Hybrid Modal Logics}, author = {Jean Christoph Jung and Jędrzej Kołodziejski and Frank Wolter}, year = {2026}, url = {https://arxiv.org/abs/2602.15821}, note = {Source identifier: 2602.15821} }