Celani, S. A. Some Logics in the Vicinity of Interpretability Logics. B Sect Log 2023, 53, 173-193.