We kindly ask all participants, including remote ones and those
watching recorded videos, to register at this link.
The course gives a short introduction to the theory of modal and superuitionsitic predicate logics. The main aspect of the course is model-theoretic. Unlike classical logic, here we observe a variety of semantics using constructions from other mathematical areas - sheaves, fibrations, simplicial sets. The general picture of the field is quite complicated, and many problems are still open.
 RSS: Forthcoming seminars
 Lecturer
Shehtman Valentin Borisovich
Organizations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center |
