|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Some prospects for semiproducts and products of modal logicsдоклад на конференции
- Авторы: Shehtman Valentin, Shkatov Dmitry
- Международная Конференция : Advances in Modal Logic (AiML 2020)
- Даты проведения конференции: 24-28 августа 2020
- Дата доклада: 24 августа 2020
- Тип доклада: Устный
- Докладчик: Shehtman Valentin
- Место проведения: Helsinki, Finland
-
Аннотация доклада:
Исследуются произведения и полупроизведения модальных логик с логикой S5. Строятся новые примеры произведений и полупроизведений, аксиоматизируемых «минимальным» способом, и при этом аппроксимируемых конечными (полу)произведениями. Доказательство существенно опирается на локальную табличность, которая устанвливается с помощью бисимуляционных игр. Из этих результатов следует разрешимость фрагментов с 1 переменной для соответствующих предикатных модальных логик. Построена также серия новых контрпримеров: (полу) произведений с S5, которые не аксиоматизируются «минимальным» способом.
- Добавил в систему: Шехтман Валентин Борисович