Dynamic Logic. New Trends and Applications: Second International Workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Lecture Notes in Computer Science (12005), Band 12005)