Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus

von Afshari, Bahareh
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)