Admissible rules for pretable modal logics
scientific article; zbMATH DE number 3781135