Takano, Mitio. “A Modified Subformula Property for the Modal Logic S4.2”. Bulletin of the Section of Logic 48, no. 1 (March 30, 2019): 19–28. Accessed May 2, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/5382.