Admissible bases via stable canonical rules
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze

Abstract:
We establish the dichotomy property of  Jerabek (2009) for stable canonical multi-conclusion rules of Bezhanishvili et al. (2014) for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.

Keywords: Admissible rules, Heyting and modal algebras, duality, decidability, canonical rules