扩展动作逻辑以支持欧米伽迭代
Extending Action Logic with Omega Iteration
AI总结：
本文通过引入欧米伽迭代扩展动作逻辑，提出了一个证明系统并证明了其割可接受性及可证明性谓词的复杂性界限。
摘要：
我们提出一个证明系统，该系统通过欧米伽迭代扩展动作逻辑，这种迭代被视为无限级乘法联结。我们证明了割的可接受性，并为可证明性谓词建立了复杂性界限。
英文摘要：
We present a proof system that extends action logic by omega iteration, which is viewed as infinitary multiplicative conjunction. We prove cut admissibility and establish complexity bounds for the provability predicate.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
