Another late night proofing that I missed. On the CTL problem, #5 is not valid, for similar reasons to the other one. Namely AFt will not be satisfied for the path taken by the looping s0 path. Sorry for the confusion.
-James
News on Final Exam!
There will be no problem concerning interval algebra composition in temporal logic on the final exam.
-James
Answers for Final Exam Sample Questions (with corrections!! :))
2013cs112FinalExamSamplesWithAnswers
I’ve provided answers for about half of the questions. These should give you an idea of what kind of answers I’m looking for.
Again, if there are any remaining questions, feel free to email me tonight or tomorrow!!
(Some very attentive student caught two errors, and they’ve been corrected now. Thanks!)
-James
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!
-James
Final Exam Sample Questions Part II
Final Exam Review Information
Here is a list of the material being covered for the final. I’ll also be posting the sample satisfaction model questions later today.
Good luck studying!!
Cheers,
James
Final Exam Review – Part I
Pacuit Dynamic Epistemic Logic
PDL Slides
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.
-James