Infinitary Action Logic with Exponentiation

Stepan L. Kuznetsov, Stanislav O. Speranski

We introduce infinitary action logic with exponentiation -- that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modal…