Geodesic
On squares of modal logics with additional connectives
Informatics and Automation, Algorithmic aspects of algebra and logic, Tome 274 (2011), pp. 343-351

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{TRSPY_2011_274_a19,
     author = {V. B. Shehtman},
     title = {On squares of modal logics with additional connectives},
     journal = {Informatics and Automation},
     pages = {343--351},
     publisher = {mathdoc},
     volume = {274},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TRSPY_2011_274_a19/}
}
TY  - JOUR
AU  - V. B. Shehtman
TI  - On squares of modal logics with additional connectives
JO  - Informatics and Automation
PY  - 2011
SP  - 343
EP  - 351
VL  - 274
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TRSPY_2011_274_a19/
LA  - ru
ID  - TRSPY_2011_274_a19
ER  - 
%0 Journal Article
%A V. B. Shehtman
%T On squares of modal logics with additional connectives
%J Informatics and Automation
%D 2011
%P 343-351
%V 274
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TRSPY_2011_274_a19/
%G ru
%F TRSPY_2011_274_a19
V. B. Shehtman. On squares of modal logics with additional connectives. Informatics and Automation, Algorithmic aspects of algebra and logic, Tome 274 (2011), pp. 343-351. http://geodesic.mathdoc.fr/item/TRSPY_2011_274_a19/