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

Autor:	Okawa, Yuya
Rok vydání:	2022
Předmět:	Mathematics - Logic 03B45 03F45
Druh dokumentu:	Working Paper
Popis:	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}$. Comment: 26 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2206.03677 Zobrazit plný text záznamu View this record from Arxiv