RUS
ENG
Full version
PEOPLE
Joosten Joost J
Publications in Math-Net.Ru
On provability logics with linearly ordered modalities
Studia Logica
,
102
:3 (2014),
541–566
©
Steklov Math. Inst. of RAS
, 2024