Description of modal logics inheriting admissible rules for S4
V. Rybakov · Logic Journal of IGPL · 1999
We give a necessary and sufficient condition for any modal logic with fmp to inherit all inference rules admissible in S4. Using this condition we describe all tabular modal logics inheriting inference rules admissible for S4.