Takano, M. (2019). A Modified Subformula Property for the Modal Logic S4.2. Bulletin of the Section of Logic, 48(1), 19–28. https://doi.org/10.18778/0138-0680.48.1.02