Celani, Sergio. “Some Logics in the Vicinity of Interpretability Logics”. Bulletin of the Section of Logic (November 22, 2023): 21 pp. Accessed May 20, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/16580.