Dynamic Logic. New Trends and Applications - Manuel A. Martins, Igor Sedlár (Springer, 2020)