Bisimulation slides are posted!

I’ve posted the slides I had from Tuesday, but was not able to show, due to computer failure. Tomorrow I will continue with Propositional Dynamic Logic (PDL), and give an initial semantics for the language. We’ll also backtrack to slides from Tuesday on the Situation Calculus that I didn’t show.