DaLí - Dynamic Logic, new trends and applications - Benevides, Mario R.F.; Madeira, Alexandre (Journal of logical and algebraic methods in programming, 2020)