TY  - JOUR
AU  - V. V. Rybakov
TI  - Admissibility of rules of inference in the modal system $G$
JO  - Matematičeskie trudy
PY  - 1989
SP  - 120
EP  - 138
VL  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_1989_12_a6/
LA  - ru
ID  - MT_1989_12_a6
ER  -