M. Takano, “New Modification of the Subformula Property for a Modal Logic”, B Sect Log, vol. 49, no. 3, pp. 255–268, Nov. 2020.