On the weak completeness of a fragment of linear temporal logic. - Baratella, Stefano (Journal of Logic & Computation, 2025)