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

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

Доклад:

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

Участники семинара:

  • Зверева Т.Ю.
  • Порошин А.О.
  • Смелых К.А.
Башмаков С. И.

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram