Независимые нумерации теорий и рекурсивных прогрессий

Рассматриваются пропозициональные логики с несколькими модальными операторами, интерпретируемыми как формулы доказуемости для некоторых арифметических теорий. Изучается зависимость этих логик от выбора формул доказуемости при фиксированных теориях. Строятся независимые формулы доказуемости, т. е. такие, для которых соответствующая логика минимальна.
Библиогр. 20.