Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$

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

arXiv comment26 pages