%0 Journal Article
%A E. V. Dashkov
%T On the Positive Fragment of the Polymodal Provability Logic $\mathbf{GLP}$
%J Matematičeskie zametki
%D 2012
%P 331-346
%V 91
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2012_91_3_a1/
%G ru
%F MZM_2012_91_3_a1