10:00—10:50 |
С. Н. Артёмов |
К логическим основаниям теории игр |
10:50—11:40 |
Н. К. Верещагин, Г. М. Челноков |
Алгоритмическая статистика |
11:40—12:10 |
Кофе |
12:10—12:40 |
М. Р. Пентус |
Монотонное исчисление Ламбека с одним делением |
12:40—13:10 |
С. Л. Кузнецов |
Исчисление Ламбека с операцией обращения |
13:10—13:40 |
А. А. Сорокин |
Длина совмещающего типа в исчислении Ламбека |
13:40—15:20 |
Обед |
15:20—16:00 |
И. Б. Шапировский |
Произведения шкал Крипке и модальные логики пространств Хемминга |
16:00—16:30 |
В. Е. Плиско, А. Ю. Коновалов |
О гиперарифметической реализуемости |
16:30—16:50 |
Кофе |
16:50—17:20 |
Д. С. Шамканов |
Интерполяционные свойства логик доказуемости GL и GLP |
17:20—17:50 |
Е. В. Дашков |
Об одном усилении теоремы Котлярского |
17:50—18:20 |
Ф. Н. Пахомов |
Элементарные теории систем ординальных обозначений |