RUS  ENG
Full version
SEMINARS

Seminars "Proof Theory" and "Logic Online Seminar"
February 19, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom


On the finite model property of a class of pretransitive logics (continuation)

L. V. Dvorkin

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics



Series of reports


© Steklov Math. Inst. of RAS, 2024