Celani, S. A. Some Logics in the Vicinity of Interpretability Logics. B Sect Log 2023, 53 (2), 173-193. https://doi.org/10.18778/0138-0680.2023.26.