RUS
ENG
Full version
VIDEO LIBRARY
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 7, 2022
17:00
, Moscow, MSU Lomonosov Hall
On topological models of intuitionistic epistemic logic
A. A. Onoprienko
©
Steklov Math. Inst. of RAS
, 2024