Takano, M. New Modification of the Subformula Property for a Modal Logic. B Sect Log 2020, 49, 255-268.