Stepan L. Kuznetsov. A $\varPi _1^0$-Bounded Fragment of Infinitary Action Logic with Exponential. In Vivek Nigam, Tajana Ban Kirigin, Carolyn L. Talcott, Joshua D. Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada, editors, Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Volume 12300 of Lecture Notes in Computer Science, pages 3-16, Springer, 2020. [doi]
Abstract is missing.