1 problem

Let $k$ be a positive integer, and let $!^m\nabla \mathrm{ACT}_\omega^{(k)}$ denote the $k$-th fragment of infinitary action logic with multiplexing. Its derivability problem is me…