Takano, Mitio. “New Modification of the Subformula Property for a Modal Logic”. Bulletin of the Section of Logic 49, no. 3 (November 4, 2020): 255–268. Accessed April 24, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/6148.