%0 Journal Article
%A D. S. Shamkanov
%T Circular Proofs for the G\"odel--L\"ob Provability Logic
%J Matematičeskie zametki
%D 2014
%P 609-622
%V 96
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2014_96_4_a11/
%G ru
%F MZM_2014_96_4_a11