Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$
Logic
2022-06-09 v1
Abstract
De Rijke introduced a unary interpretability logic , and proved that is the unary counterpart of the binary interpretability logic . In this paper, we find the unary counterparts of the sublogics of .
Keywords
Cite
@article{arxiv.2206.03677,
title = {Unary interpretability logics for sublogics of the interpretability logic $\mathbf{IL}$},
author = {Yuya Okawa},
journal= {arXiv preprint arXiv:2206.03677},
year = {2022}
}
Comments
26 pages