TY - JOUR AU - A. V. Chagrov TI - A decidable modal logic for which the admissibility of JO - Algebra i logika PY - 1992 SP - 83 EP - 93 VL - 31 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1992_31_1_a5/ LA - ru ID - AL_1992_31_1_a5 ER -