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