An $\omega$-rule for the logic of provability and its models

Katsumi Sasaki, Yoshihito Tanaka

In this paper, we discuss a proof system $\mathsf{NGL}$ for the logic $\mathbf{GL}$ of provability, which is equipped with an $\omega$-rule. We show the three classes of transitive Krip…