Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K

Ruba Alassaf, Renate A. Schmidt, Uli Sattler

Browse the full KR paper archive.