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