Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$
Yuya Okawa · arXiv (Cornell University) · 2022
De Rijke introduced a unary interpretability logic $\mathbf{il}$, and proved that $\mathbf{il}$ is the unary counterpart of the binary interpretability logic $\mathbf{IL}$. In this paper, we find the unary counterparts of the sublogics of $\mathbf{IL}$.