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