Замыкающие ординалы и сложность для инфинитарной логики действий

Инфинитарная логика действий аксиоматизирует эквациональную теорию $\ast$-непрерывных решёток Клини с делениями. В этом инфинитарном исчислении выводы представляют собой бесконечные, но при этом фундированные деревья, и интерес представляет оценка ординальной «высоты» таких деревьев. В пределе же получается замыкающий ординал данного исчисления. В докладе будет рассказано о замыкающих ординалах инфинитарной логики действий и её расширения с помощью экспоненциальной модальности, в связи с вопросами алгоритмической сложности данных логик.