Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 - Gabbay (Oxford University PressOxford University Press, 2023)