Uniform Interpolation in Distributed Knowledge Modal Logics

Kexu Wang, Liangda Fang

Uniform interpolation is the property that, for any formula and set of atoms, there exists the strongest consequence omitting those atoms. It plays a central role in knowledge repr…