Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
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…
cs.LO2025
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
Liangda Fang, Xiaoman Wang, Zhang Chen +3
Abstraction is an important and useful concept in the field of artificial intelligence. To the best of our knowledge, there is no syntactic method to compute a sound and complete a…