Московские чтения по конструктивной логике и представлению знаний
к 60-летию С. Н. Артёмова

Moscow Workshop on Constructive Logic and Knowledge Representation

30—31 мая 2012

Москва

Программа

Среда, 30 мая 2012
МЦНМО, конференц-зал (к. 401)

10:00—10:50 С. Н. Артёмов
Конструктивная логика с точки зрения классической
10:50—11:40 В. Н. Крупский
О семантике рефлексивной комбинаторной логики
11:40—12:10 Кофе
12:10—13:00 В. Б. Шехтман
О квадратах модальных логик с дополнительными связками
13:00—13:30 И. И. Осипов
Бисимуляции и модальная эквивалентность в различных классах моделей
13:30—15:10 Обед
15:10—15:40 Е. Е. Золин
Модальная логика K4 с градуированными прямыми и обратными модальностями
15:40—16:10 Т. Л. Яворская
Логика доказательств первого порядка
16:10—16:40 А. В. Кудинов
Модальные логики топологических пространств
16:40—17:00 А. Е. Подгайц
О логике инфонов с индивидными переменными
17:00—17:30 Кофе
17:30—18:00 А. С. Чижов
О некоторых интервальных модальных логиках
18:00—18:30 Д. П. Скворцов
Об одном подходе к ослаблению условия постоянства области в семантике пучков Крипке для суперинтуиционистских предикатных логик
18:30—19:00 Р. Э. Яворский
Управление знаниями в больших корпорациях

Четверг, 31 мая 2012
МЦНМО, конференц-зал (к. 401)

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 Ф. Н. Пахомов
Элементарные теории систем ординальных обозначений