Problem Set 6 on propositional dynamic logic is posted here. It will be due on Tuesday, November 20.

Note: This problem set is optional. If you do this problem set and do well on it, you will receive extra credit. If not, it will have no impact on your grade.