RUS  ENG
Full version
SEMINARS
Seminars "Proof Theory" and "Logic Online Seminar"
May 23, 2016, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Kontur Talk

Constructive modal logic that is similar to provability logic GL

D. S. Shamkanov

© Steklov Math. Inst. of RAS, 2024