Uniform interpolation and sequent calculi in modal logic
scientific article; zbMATH DE number 7006132
scientific article