Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs.

Stepan L. Kuznetsov

Browse the full TABLEAUX paper archive.