9 citations to https://www.mathnet.ru/rus/im1282

1. Sohei Iwata, Taishi Kurahashi, Yuya Okawa, “The persistence principle over weak interpretability logic”, Mathematical Logic Qtrly, 2023  
2. Albert Visser, “The absorption law”, Arch. Math. Logic, 60:3-4 (2021), 441  
3. Rafal Urbaniak, Pawel Pawlowski, Springer Undergraduate Texts in Philosophy, Introduction to Formal Philosophy, 2018, 191  
4. Lev Beklemishev, Logic and algebra, 2017, 317  
5. Lev Beklemishev, Tommaso Flaminio, “Franco Montagna's work on provability logic and many-valued logic”, Studia Logica, 104:1 (2016), 1–46        
6. Wolfgang Rautenberg, A Concise Introduction to Mathematical Logic, 2010, 269  
7. Р. Э. Яворский, “О пренексном фрагменте логики доказуемости с кванторами по доказательствам”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 123–135      ; R. È. Yavorskii, “On Prenex Fragment of Provability Logic with Quantifiers on Proofs”, Proc. Steklov Inst. Math., 242 (2003), 112–124
8. PER LINDSTRöM, “Provability logic—a short introduction”, Theoria, 62:1-2 (1996), 19  
9. Rineke Verbrugge, Albert Visser, “A small reflection principle for bounded arithmetic”, J. symb. log., 59:3 (1994), 785