On inclusions between quantified provability logics

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 ${\Sigma }_1$ arithmetical interpretations.

arXiv comment22 pages