Заседание №30 (5 августа 2020 г.)

Время: 
14:00
Место: 
Онлайн-заседание в Zoom

Доклады:

  • А.О. Ташкен - Нормальные модальные логики и шкалы Крипке.
  • Е.А. Донец - Свойства отношений и модальные формулы.
  • Т.Ю. Зверева - Наименьшая нормальная модальная логика К.

Начало в 14:00 на платформе видео-конференций Zoom.
Ссылка для подключения: https://us02web.zoom.us/j/82650129392
Идентификатор: 826 5012 9392

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

  • Башмаков С.И.
  • Зверева Т.Ю.
  • Донец Е.А.
  • Ташкен А.О.
Башмаков С. И.

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

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