Takano, M. A Modified Subformula Property for the Modal Logic S4.2. B Sect Log 2019, 48, 19–28.