RUS
ENG
Full version
PEOPLE
Savateev Yurii Vaycheslavovich
Presentations in Math-Net.Ru
Non-well-founded proofs for modal Grzegorczyk logic
Yu. Savateev
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017
11:10
©
Steklov Math. Inst. of RAS
, 2025