French, R.; Humberstone, L. An Observation Concerning Porte’s Rule in Modal Logic. B Sect Log 2015, 44, 25–31.