Rybakov, V. V.; Rimatskij, V. V. Preservation of admissibility of inference rules in the logics similar to S4. 2. (Russian, English) Zbl 1010.03011 Sib. Mat. Zh. 43, No. 2, 446-453 (2002); translation in Sib. Math. J. 43, No. 2, 357-362 (2002). The authors prove a criterion for the class of finitely approximable logics extending S4 (Grz.2, KC, respectively) to inherit all admissible rules of S4 (Grz.2, KC, respectively). Reviewer: A.S.Morozov (Novosibirsk) Cited in 1 Document MSC: 03B45 Modal logic (including the logic of norms) 03B25 Decidability of theories and sets of sentences Keywords:admissible inference rule; decidability; modal logic PDFBibTeX XMLCite \textit{V. V. Rybakov} and \textit{V. V. Rimatskij}, Sib. Mat. Zh. 43, No. 2, 446--453 (2002; Zbl 1010.03011); translation in Sib. Math. J. 43, No. 2, 357--362 (2002) Full Text: EuDML