Dynamic Logic. New Trends and Applications - Alexandre Madeira, Mário Benevides (Springer, 2018)