lecture 17 dynamic logic concepts 2035135