Takano M. A Modified Subformula Property for the Modal Logic S4.2. B Sect Log. 2019;48(1):19–28. doi:10.18778/0138-0680.48.1.02