Celani SA. Some Logics in the Vicinity of Interpretability Logics. B Sect Log. 2023;53(2):173-193. doi:10.18778/0138-0680.2023.26