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 -