Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers - Areces, Carlos; Costa, Diana (Cham Springer International Publishing AG, 2023)