Saturation-Based Uniform Interpolation for Multi-Modal Logics.

Ruba Alassaf, Renate A. Schmidt, Uli Sattler

Browse the full AiML paper archive.