В. Ю. Шавруков, “О двух расширениях логики доказуемости GL”, Матем. сб., 181:2 (1990), 240–255 ; V. Yu. Shavrukov, “On two extensions of the logic of provability GL”, Math. USSR-Sb., 69:1 (1991), 255–270