Иерархии программных логик

Строится программная логика, эквивалентная по выразительной силе слабой логике порядка $\omega$. Попутно вводится в рассмотрение набор программных логик. Этот набор делится на два класса, в зависимости от того, допускаются ли в модальностях языки с бесконечным числом свободных переменных или нет. Оказывается, что все логики второго класса существенно слабее по выразительной силе слабой логики порядка $\omega$.
Библ. 7.