О динамических теориях свободных алгебр

Для формул логики $L_{\infty\omega}(n)$ вводится некоторая каноническая форма и доказывается, что всякая формула этой логики эквивалентна на свободных алгебрах некоторой канонической формуле. Это позволяет установить, что никакого конечного числа программ недостаточно, чтобы с их помощью выразить все запросы, выразимые в динамической логике и относящиеся к рассматриваемой свободной алгебре. В качестве следствия получаются также результаты о том, что бесконечная память увеличивает выразительные возможности динамической логики.
Библиография: 7 названий.