RUS
ENG
Full version
PEOPLE
Shavrukov Vladimir Yur'evich
Publications in Math-Net.Ru
On two extensions of the logic of provability GL
Mat. Sb.
,
181
:2 (1990),
240–255
©
Steklov Math. Inst. of RAS
, 2026
