Celani, Sergio A. “Some Logics in the Vicinity of Interpretability Logics”.
Bulletin of the Section of Logic
, vol. 53, no. 2, Nov. 2023, pp. 173-9, doi:10.18778/0138-0680.2023.26.