论文标题
可解释性逻辑$ \ mathbf {il} $的子串联系统的一般性解释性逻辑
Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$
论文作者
论文摘要
de rijke引入了一个单一的可解释性逻辑$ \ mathbf {il} $，并证明了$ \ mathbf {il} $是二进制解释性逻辑$ \ mathbf {il al} $的一般对应物。在本文中，我们找到了$ \ mathbf {il} $的子公司的一般性同行。
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}$.
