Solutions to yesterday's homework are posted on the schedule page. We'll finish up the problems in the second column on Thursday and then move on to derivations in modal logic, which are covered in the second half of the lecture slides.

This morning I noticed a typo in the Homework for Thursday.  The assigned problem #4 originally said to use the result from #2, but it should have said #3. This has been changed. Sorry about that!