|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Completeness problem in first-order modal logicдоклад на конференции
- Автор: Шехтман В.Б.
- Международная Конференция : Мальцевские чтения 2022
- Даты проведения конференции: 14-18 ноября 2022
- Дата доклада: 15 ноября 2022
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Новосибирск, Russia
-
Аннотация доклада:
В докладе изложены результаты о различных видах полноты и неполноты для модальных предикатных логик, полученные в последнее время. Особое внимание уделено методу канонических моделей и операции добавления необходимости.
- Добавил в систему: Шехтман Валентин Борисович