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