dynamic logic lec 19 4534699