%0 Journal Article
%A V. V. Rybakov
%T Decidability of admissibility in the modal system~$\mathrm{Grz}$ and in intuitionistic logic
%J Izvestiya. Mathematics 
%D 1987
%P 589-608
%V 28
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1987_28_3_a6/
%G en
%F IM2_1987_28_3_a6