![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Исследуются произведения и полупроизведения модальных логик с логикой S5. Строятся новые примеры произведений и полупроизведений, аксиоматизируемых «минимальным» способом, и при этом аппроксимируемых конечными (полу)произведениями. Доказательство существенно опирается на локальную табличность, которая устанвливается с помощью бисимуляционных игр. Из этих результатов следует разрешимость фрагментов с 1 переменной для соответствующих предикатных модальных логик. Построена также серия новых контрпримеров: (полу) произведений с S5, которые не аксиоматизируются «минимальным» способом.