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 2026 Jan. 11];48(4):245–257. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/6257