%0 Journal Article %A Ya. I. Petrukhin %T On a modification of Visser's formal logic and its connection with Solovay's modal logic %J Izvestiâ vysših učebnyh zavedenij. Matematika %D 2023 %P 15-25 %N 11 %I mathdoc %U http://geodesic.mathdoc.fr/item/IVM_2023_11_a1/ %G ru %F IVM_2023_11_a1