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

Abstract: De Rijke introduced a unary interpretability logic

m a t h b f i l

, and proved that

m a t h b f i l

is the unary counterpart of the binary interpretability logic

m a t h b f I L

. In this paper, we find the unary counterparts of the sublogics of

m a t h b f I L

.

This page was built for publication: Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$