Abstract:
Here we use admissible rules to determine whenever modal logic satisfies weak co-cover property. We prove that logic $\lambda$ over $S4$ satisfies such property iff the given set of rules are admissible in $\lambda$.
Keywords:modal logic, inference rule, Kripke frame and model, admissible rule.