  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.
