Takano, Mitio. 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.