
SEMINARS 
Seminars
"Proof Theory" and "Logic Online Seminar"



On the finite model property of a class of pretransitive logics (continuation) L. V. Dvorkin^{} ^{} Lomonosov Moscow State University, Faculty of Mechanics and Mathematics 

