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