Yazaki D. Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3. B Sect Log [Internet]. 2019 Dec. 31 [cited 2024 May 3];48(4):245–257. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/6257