TY  - RPRT
TI  - A non-uniform view of Craig interpolation in modal logics with linear frames
AU  - Agi Kurucz
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2026
UR  - https://arxiv.org/abs/2312.05929
ID  - 2312.05929
ER  -