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