Yazaki, Daishi. “Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3”. Bulletin of the Section of Logic 48, no. 4 (December 31, 2019): 245–257. Accessed May 3, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/6257.