Complexity of the interpretability logic IL

Luka Mikec, Fedor Pakhomov, Mladen Vukovic. Complexity of the interpretability logic IL. Logic Journal of the IGPL, 27(1):1-7, 2019. [doi]

Abstract

Abstract is missing.