Takano, Mitio. 2020. “New Modification of the Subformula Property for a Modal Logic”. Bulletin of the Section of Logic 49 (3):255-68. https://doi.org/10.18778/0138-0680.2020.15.