|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Some prospects for semiproducts and products of modal logics (short paper)статья
- Авторы: Shehtman Valentin, Shkatov Dmitry
- Сборник: Advances in Modal Logic
- Серия: Advances in Modal Logic
- Том: 13
- Год издания: 2020
- Место издания: College Publications London
- Первая страница: 107
- Последняя страница: 111
- Аннотация: We consider products and semiproducts of propositional modal logics Λ with S5 and present new examples of product and semiproduct logics axiomatized in the ‘minimal’ way and enjoying the product (or semiproduct) FMP. An essential part of the proof is local tabularity of these (semi)products for Λ of finite depth; it is obtained by using bisimulation games. These results readily imply decidability for 1-variable fragments of predicate modal logics QΛ and QΛ+Barcan formula. We also present new counterexamples, i.e. (semi)products not axiomatizable in the simplest way.
- Добавил в систему: Золин Евгений Евгеньевич