О классификации пропозициональных логик доказуемости

Общее понятие модальной пропозициональной логики доказуемости было введено С. Н. Артёмовым (1979 г.) и А. Виссером (1984 г.). В работе доказывается, что известные к настоящему времени $4$ бесконечные серии логик доказуемости – $\operatorname{GL}_\alpha$, $\operatorname{GL}_\beta^-$, $S_\beta$ и $D_\beta$ ($\alpha,\beta\subseteq\omega$, $\omega\setminus\beta$ конечно) – исчерпывают все такие логики.
Библиография: 14 названий.