M. Takano, “A Modified Subformula Property for the Modal Logic S4.2”, B Sect Log, vol. 48, no. 1, pp. 19–28, Mar. 2019, doi: 10.18778/0138-0680.48.1.02.