Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
О полноте модальных предикатных логик в семантике Крипке
тезисы доклада
Автор:
Шехтман В.Б.
Сборник:
Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов
Тезисы
Год издания:
2021
Издательство:
Тверской государственный университет
Местоположение издательства:
Тверь
Первая страница:
1
Последняя страница:
6
Аннотация:
В работе дан обзор известных и новых результатов о полноте и неполноте в семантике Крипке для минимальных предикатных расширений пропозициональных модальных логик.
Добавил в систему:
Шехтман Валентин Борисович