Media type: E-Article Title: Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn Contributor: Alassaf, Ruba [Author]; Schmidt, Renate A. [Author]; Sattler, Uli [Author] Published: 2021 Published in: SOQE (2. : 2021 : Online): SOQE 2021, the Second Workshop on Second-Order Quantifier Elimination and Related Topics ; (2021), Seite 15-27 Language: English Origination: Footnote: Access State: Open Access