|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О полноте модальных логик предикатовдоклад на конференции
- Автор: Шехтман В.Б.
- Международная Конференция : Ломоносовские чтения - 2022
- Даты проведения конференции: 18-20 апреля 2022
- Дата доклада: 27 апреля 2022
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ, Russia
-
Аннотация доклада:
В докладе дан обзор новых результатов о полноте модальных логик предикатов в семантике Крипке и ее обобщениях, для ряда неполных логик описаны пополнения. Обсуждается сохранение полноты при добавлении необходимости.
- Добавил в систему: Шехтман Валентин Борисович