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