Celani SA. Some Logics in the Vicinity of Interpretability Logics. B Sect Log [Internet]. 2023 Nov. 22 [cited 2025 Dec. 8];53(2):173-9. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/16580