2024 г. В.Б. Шехтман "Модальные логики предикатов и их модели". Осенний семестр.