Abstract
We construct explicit bases of admissible rules for a representative class of normal
modal logics (including the systems K4, GL, S4, Grz, and GL:3), by extending the
methods of S. Ghilardi and R. Iemhoff. We also investigate the notion of admissible
multiple conclusion rules.