The paper accepted at IJCAI 2026: Uniform Interpolation Closure for Branching Time Temporal Logics, by Renyan Feng, Yisong Wang, Mingsen Deng, and Erman Acar.