Доклад:

Поляков А.В. - Обобщение кортежной семантики для рефлексивных и транзитивных линейных модальных логик.

Смелых К.А. - Разрешимость логики CTLK.

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

• Брылякова Е.В.
• Поляков А.А.
• Башмаков С.И.
• Смелых К.А.