You are about to access our book library "Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Lecture Notes in Computer Science Book 10669) full version" .