TY - JOUR AU - V. V. Rimatskii TI - Bases of admissible inference rules in tabular modal logics of JO - Algebra i logika PY - 1996 SP - 612 EP - 622 VL - 35 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1996_35_5_a7/ LA - ru ID - AL_1996_35_5_a7 ER -