|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
On one-variable fragments of modal predicate logicsдоклад на конференции
- Авторы: Shkatov Dmitry, Shehtman Valentin
- Международная Конференция : Syntax Meets Semantics 2019
- Даты проведения конференции: 21-25 января 2019
- Дата доклада: 24 января 2019
- Тип доклада: Устный
- Докладчик: Shehtman Valentin
- Место проведения: Амстердам, Netherlands
-
Аннотация доклада:
Рассматриваются фрагменты модальных логик предикатов с одной предметной переменной, исследуется вопрос об их аксиоматизации и алгоритмических свойствах. Также исследуется операция полупроизведения модальных логик высказываний, связанная с этими фрагментами.
- Добавил в систему: Шехтман Валентин Борисович