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