Заседание №57 (22 мая 2021 г.)

Время: 
14:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

  • Е.А. Донец - Примеры унифицируемых и неунифицируемых формул в предтабличной логике L2.
  • С.И. Башмаков - Метод фильтрации и свойства конечных моделей для канонических модальных логик.
Башмаков С. И.