Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings, 35-52 STARTPAGE=35;ENDPAGE=52;TITLE=Dynamic Logic : New Trends and Applications Lecture Notes in Computer Science ISBN: 9783030388072 DaLí