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

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

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