Takano, M. New Modification of the Subformula Property for a Modal Logic. B Sect Log 2020, 49 (3), 255-268. https://doi.org/10.18778/0138-0680.2020.15.