Аннотация:
В докладе будет изложена конструкция, позволяющая свести множество вычислимых инфинитарных формул ранга меньше, чем $\omega^\omega$, к множеству секвенций, выводимых в определённом в предыдущем докладе фрагменте инфинитарной логики действий с экспоненциальной модальностью.
Обратная связь: