This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 8 submissions. “DaLí  - Dynamic Logic: new trends and applications,” a workshop dedicated to the subject of DynamicLogic, and its evolution.weiterlesen