|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
How to axiomatize boxing for a modal predicate logic?доклад на конференции
- Автор: Шехтман В.Б.
- Международная Конференция : 2-я конференция Математических центров России
- Даты проведения конференции: 7-11 ноября 2022
- Дата доклада: 11 ноября 2022
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Москва, Russia
-
Аннотация доклада:
В докладе дан обзор синтаксических и семантических свойств операции добавления необходимости для модальных логик предикатов, введенной автором. Обсуждаются нерешенные проблемы.
- Добавил в систему: Шехтман Валентин Борисович