On inclusions between quantified provability logics
Logic
2021-05-25 v2
Abstract
We investigate several consequences of inclusion relations between quantified provability logics. Moreover, we give a necessary and sufficient condition for the inclusion relation between quantified provability logics with respect to arithmetical interpretations.
Keywords
Cite
@article{arxiv.2101.03384,
title = {On inclusions between quantified provability logics},
author = {Taishi Kurahashi},
journal= {arXiv preprint arXiv:2101.03384},
year = {2021}
}
Comments
22 pages