An explicit basis for $WCP$-globally admissible inference rules

Inference rules are examined which are admissible immediately in all residually finite extensions of $S4$ possessing the weak cocover property. An explicit basis is found for such $WCP$-globally admissible rules. In case of tabular logics, the basis is finite, and for residually finite extensions, the independency of an explicit basis is proved.