Семинар сектора 4.1 - Четверг, 29 апреля в 14:00, ауд. 307 ИППИ РАН

Докладчик: В. Шехтман

Модальные логики предикатов и их модели

Модели модальных логик предикатов можно представлять себе как "динамический аналог" моделей классической логики,  т.е. как "многообразия" алгебраических систем. Имеется несколько способов уточнения этого понятия - на основе пучков, расслоений и др. конструкций. В докладе буден дан краткий обзор соответствующих определений и результатов.