TY - JOUR AU - L. L. Maksimova TI - The Lyndon interpolation theorem in modal logics JO - Matematičeskie trudy PY - 1982 SP - 45 EP - 55 VL - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MT_1982_2_a2/ LA - ru ID - MT_1982_2_a2 ER -