On squares of modal logics with additional connectivesстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 12 января 2015 г.
Аннотация:The paper gives an overview of new results on two-dimensional modal logics of special type, “Segerberg squares.” They are defined as usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and two projections onto the diagonal. In many cases these logics are finitely axiomatizable, complete and have the finite model property. Segerberg squares are interpreted in the classical predicate logic.