Title: Dynamic Logic. New Trends and Applications