|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Simplicial semantics and one-variable fragments of modal predicate logicsдоклад на конференции
- Автор: Valentin Shehtman
- Международная Конференция : Topology, Algebra, and Categories in Logic 2019
- Даты проведения конференции: 17-21 июня 2019
- Дата доклада: 19 июня 2019
- Тип доклада: Устный
- Докладчик: Valentin Shehtman
- Место проведения: Ницца, France
-
Аннотация доклада:
Рассматриваются фрагменты модальных предикатных логик с 1 переменной. Во многих случаях получено их явное простое описание. Для этого применяется симплициальная семантика, введенная Д.П. Скворцовым и докладчиком в 1993 г.
- Добавил в систему: Шехтман Валентин Борисович