Заседание №4 (8 ноября 2018 г.)

Время:

17:20

Место:

пр. Свободный 79, ауд. 34-08

Тема:
Башмаков С.И. - "Введение в теорию модальных логик: реляционная семантика Крипке, нормальные модальные логики К, К4, S4".

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

Зверева Т.Ю.
Дураков Б.Е.
Казакова А.В.

Башмаков С. И.

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

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