Доклад:

Мукосий А.А. - О диаграммах унификаторов для некоторых предтабличных расширений нормальной модальной логики S4.

Поляков А.А. - О реляционной характеризации версии логики LTK.sl обеднённого языка.

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

• Башмаков С.И.
• Брылякова Е.В.
• Поляков А.А.
• Зверева Т.Ю.
• Фисков Я.С.