Любецкий В. А. Теоремы переноса и алгебра модальных операторов. // Логические исследования / Logical Investigations. 1995. Т. 3. C. 205-232.