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