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