Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings - Soares Barbosa; Baltag, Alexandru (Springer International Publishing, 2020)