Е. В. Дашков, “О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$”, Матем. заметки, 91:3 (2012), 331–346; E. V. Dashkov, “On the Positive Fragment of the Polymodal Provability Logic $\mathbf{GLP}$”, Math. Notes, 91:3 (2012), 318–333