ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
Lev D. Beklemishev · Mathematics of the USSR-Izvestiya · 1990
The general notion of a modal propositional provability logic was introduced by S. N. Artemov (1979) and A. Visser (1984). In this paper it is proved that the four infinite series of provability logics known at the present time - , , , and (, , finite) - include all such logics. Bibliography: 14 titles.