TY  - RPRT
TI  - Computation and Size of Interpolants for Hybrid Modal Logics
AU  - Jean Christoph Jung
AU  - Jędrzej Kołodziejski
AU  - Frank Wolter
PY  - 2026
UR  - https://arxiv.org/abs/2602.15821
ID  - 2602.15821
ER  -