DaLí 2025: The 6th Workshop on Dynamic Logic - New Trends and Applications

Published Proceedings:
Dynamic Logic. New Trends and Applications
6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers