Dynamic Logic. New Trends and Applications : Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers (2020)