Доклад:

• Брылякова Е.В. - Техника n-характеристических моделей В.В. Рыбакова для модальной системы S4.
• Поляков А.А. - Критерий допустимости правил в модальной системе S4 и интуиционистской логике.

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

• Брылякова Е.В.
• Смелых К.А.
• Башмаков С.И.
• Фисков Я.С.
• Мукосий А.А.