Dynamic Logic. New Trends and Applications - Barbosa, Luís Soares (Springer International Publishing, 2020)