You are about to access our book library "Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science Book 12005) full version" .