Dynamic logic

​More info to come