Доклад:

С. И. Башмаков - Актуальные задачи неклассических логик.

Брылякова Е.В. - Диаграммы унификаторов для формул в логике L2.

Поляков А.А. - О применимости кортежной семантики к модальным логикам.

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

• Башмаков С.И.
• Брылякова Е.В.
• Зверева Т.Ю.
• Донец Е.А.
• Поляков А.А.