|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Теоретико-модельные и алгоритмические проблемы в модальных и алгебраических логикахНИР
Model-theoretic and algorithmic problems of modal and algebraic logics
- Руководитель НИР: Шехтман В.Б.
- Участники НИР: Владимиров А.Г., Золин Е.Е., Кудинов А.В., Осипов И.И., Пентус М.Р., Савельев Д.И., Скворцов Д.П., Чижов А.С., Шапировский И.Б.
- Сторонняя организация: Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
- Срок исполнения: 1 января 2016 г. - 31 декабря 2018 г.
- Номер договора (контракта, соглашения): 16-01-00615
- Номер ЦИТИС: 116020550023
- Тип: Фундаментальная
- Приоритетное направление научных исследований: другое
-
Рубрики ГРНТИ:
- 27.03.17 Алгоритмы и вычислимые функции
- 27.03.19 Математическая логика
-
Ключевые слова:
произведение модальных логик, семантическая полнота, модальная логика, исчисление ламбека, финитная аппроксимируемость, локальная табличность, алгебраическая логика, интуиционистская логика, логика предикатов, вычислительная сложность, разрешимость, бисимуляция
-
Описание:
Проект посвящен изучению моделей и разрешимости для модальных и алгебраических логик. Будут рассмотрены полимодальные, суперинтуиционистские, модально-интуиционистские логики, исчисление Ламбека и его варианты, а также связанные с ними алгебраические и реляционные структуры. Будут исследоваться проблемы семантической полноты, определимости, локальной табличности, финитной аппроксимируемости, алгоритмическая сложность проблемы разрешения. С этой целью будут использованы теоретико-модельные, алгебраические, теоретико-игровые и алгоритмические методы, в том числе — развивавшиеся ранее участниками проекта (канонические модели, фильтрации, бисимуляционные игры, игровое построение p-морфизмов, метод интерпретации, сети доказательств и др.).
- Добавил в систему: Золин Евгений Евгеньевич
Источник финансирования НИР
| грант РФФИ |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 января 2016 г.-31 декабря 2016 г. | Негосударственное образовательное учреждение Московский Центр непрерывного математического образования |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".