Valentin Shehtman

Squares of modal logics with additional connectives

We show that in many cases positive results on squares of modal logics extend to the language with additional Segerberg's unary connectives - for the diagonal symmetry and two projections. This contrasts to recent negative results on 'delta-squares' of modal logics (with the explicit diagonal constant) by S.Kikot and A.Kurucz.