Takano M. A Modified Subformula Property for the Modal Logic S4.2. B Sect Log [Internet]. 2019 Mar. 30 [cited 2024 May 3];48(1):19–28. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/5382