RUS
ENG
Full version
PEOPLE
Yu Junhua
Presentations in Math-Net.Ru
Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation
J. Yu
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017
11:10
©
Steklov Math. Inst. of RAS
, 2024