An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz. Rimatskiĭ, V.V. — 2009 Sibirskij Matematicheskij Zhurnal