Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics. - George Weaver; Jeffrey Welaish (J. Symb. Log., 1986)