S. A. Celani, “Some Logics in the Vicinity of Interpretability Logics”, B Sect Log, vol. 53, no. 2, pp. 173–193, Nov. 2023.