|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Boxing modal logicsдоклад на конференции
- Автор: Шехтман В.Б.
- Международная Конференция : Logical Perspectives 2021: Summer School and Workshop
- Даты проведения конференции: 14-19 июня 2021
- Дата доклада: 19 июня 2021
- Тип доклада: Устный
- Докладчик: Шехтман В.Б.
- Место проведения: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Russia
-
Аннотация доклада:
Описывается операция навешивания необходимости в модальных пропозициональных и предикатных логиках. Изучается сохранение свойств логик при этой операции.
- Добавил в систему: Шехтман Валентин Борисович