Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$ (2206.03677v1)

Abstract: 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}$.