1 paper
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…