TY  - RPRT
TI  - Uniform Interpolation in Distributed Knowledge Modal Logics
AU  - Kexu Wang
AU  - Liangda Fang
PY  - 2026
UR  - https://arxiv.org/abs/2603.28036
ID  - 2603.28036
ER  -