Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers - Gierasimczuk, Nina; Velázquez-Quesada, Fernando R. (Springer Nature Switzerland, 2024)