Celani, S. Some Logics in the Vicinity of Interpretability Logics. B Sect Log 2023, 21 pp..