Answers coming later Saturday

Hi Everyone,

I’ll have answers for the model questions later today. I won’t have time to have a sample dynamic logic model, but it will be very similar to the ones in the slides from class (wink wink).

If anyone has questions, feel free to email me this weekend!



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.