R. French and L. Humberstone, “An Observation Concerning Porte’s Rule in Modal Logic”, B Sect Log, vol. 44, no. 1/2, pp. 25–31, Jan. 2015.