Conference
Open access
Sep 2026
Uniform Interpolation Closure for Branching Time Temporal Logics
Computation Tree Logic (CTL) is a fundamental formalism for specifying and reasoning about the behavior of non-terminating systems. Due to the lack of uniform interpolation (UI) property, CTL is usually limited in modular reasoning and system abstraction. This paper studies uniform interpolation in CTL fragments with r...
Ren-Yan Feng, Yisong Wang, Ming-Sen Deng et al.
· Proceedings of the Thirty-Fi... · 0 citations