TY - JOUR AU - V. V. Rimatskii AU - V. R. Kiyatkin TI - Independent bases for admissible rules of pretabular modal logic and its extensions JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2013 SP - 79 EP - 89 VL - 10 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2013_10_a5/ LA - ru ID - SEMR_2013_10_a5 ER -