YAZAKI, D. Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3. Bulletin of the Section of Logic, [S. l.], v. 48, n. 4, p. 245–257, 2019. DOI: 10.18778/0138-0680.48.4.01. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/6257. Acesso em: 3 may. 2024.