Takano M. New Modification of the Subformula Property for a Modal Logic. B Sect Log [Internet]. 2020 Nov. 4 [cited 2024 Apr. 19];49(3):255-68. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/6148