RUS
ENG
Full version
VIDEO LIBRARY
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 11, 2022
17:15
, Moscow, MSU Lomonosov Hall
How to axiomatize boxing for a modal predicate logic?
V. B. Shehtman
©
Steklov Math. Inst. of RAS
, 2024