О модальных логиках, аксиоматизирующих доказуемость

На основе ранее введенного автором понятия следа модальной логики дается классификация арифметически полных модальных логик. Доказано, что между наименьшей и наибольшей арифметически полными логиками расположен континуум логик, не являющихся арифметически полными.
Библиография: 17 названий.