%0 Journal Article
%A V. V. Rybakov
%T Admissibility of rules of inference, and logical equations, in modal logics axiomatizing provability
%J Izvestiya. Mathematics 
%D 1991
%P 369-390
%V 36
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1991_36_2_a7/
%G en
%F IM2_1991_36_2_a7