- Nina Gierasimczuk, Fernando R. Velázquez-Quesada, editors, Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. Volume 14401 of Lecture Notes in Computer Science, Springer, 2024.