A criterion for admissibility of inference rules in some class of S4-logics without the branching property. Golovanova, E. M. — 2003 Sibirskij Matematicheskij Zhurnal