Rejecting inadmissible rules in reduced normal forms in S4

Mojtaba Aghaei, Maryam Rostami Giv

Several methods for checking admissibility of rules in the modal logic $S4$ are presented in [1], [15]. These methods determine admissibility of rules in $S4$, but they don't deter…