Description of modal logics which enjoy co-cover property

Abstract

Here we use admissible rules to determine whenever given modal logic satisfies weak co-cover property. We prove that logic $\gl$ over $S4$ satisfies such property iff the given set of rules are admissible in $\gl$.