本研究提出了LTLf+和PPLTL+两种逻辑，能够有效表达无限轨迹的性质。研究结果表明，这两种逻辑的合成问题复杂性分别为2EXPTIME和EXPTIME，为相关领域提供了新技术。