  We investigate several consequences of inclusion relations between predicate
provability logics. Moreover, we give a necessary and sufficient condition for
the inclusion relation between predicate provability logics with respect to
$\Sigma_1$ arithmetical interpretations.
