|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Segerberg squares of modal logics and theories of relation algebrasстатья
Информация о цитировании статьи получена из
Scopus
Дата последнего поиска статьи во внешних источниках: 17 июля 2024 г.
- Автор: Shehtman V.
- Сборник: Larisa Maksimova on Implication, Interpolation, and Definability
- Год издания: 2018
- Издательство: SPRINGER-VERLAG BERLIN
- Местоположение издательства: HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197
- Первая страница: 245
- Последняя страница: 296
- DOI: 10.1007/978-3-319-69917-2_12
- Аннотация: The paper studies two-dimensional modal logics with additional connectives(so-called Segerberg squares) and can be regarded as a continuation of Shehtman (Russian Mathematical Surveys, 67(4):721–778, 2012). It gives a new simpler proof of the finite model property of minimal Segerberg squares using bisimulation games.It proves the square finite model property for Segerberg squares of polymodal T andD. It also constructs a faithful embedding of Segerberg squares in the equationaltheory of relation algebras.
- Добавил в систему: Шехтман Валентин Борисович