Celani, Sergio A. “Some Logics in the Vicinity of Interpretability Logics”. Bulletin of the Section of Logic 53, no. 2 (November 22, 2023): 173–193. Accessed July 22, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/16580.