|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Products of modal logics. Part 2: Relativised quantifiers in classical logicстатья
Дата последнего поиска статьи во внешних источниках: 19 сентября 2015 г.
- Авторы: Gabbay Dov M., Shehtman Valentin
- Журнал: Logic Journal of the IGPL
- Том: 8
- Номер: 2
- Год издания: 2000
- Издательство: Oxford University Press
- Местоположение издательства: United Kingdom
- Первая страница: 165
- Последняя страница: 210
- DOI: 10.1093/jigpal/8.2.165
- Аннотация: In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment (SF) of the classical logic, where the basic predicates are binary and all quantifiers are relativised, and for which we show the f.m.p. in the classical sense. Also we prove that SF not included in Guarded Fragment (and in Packed Fragment) and that it can be embedded into the equational theory of relational algebras.
- Добавил в систему: Золин Евгений Евгеньевич