The solution to the test is posted here and on the top of the schedule page.  Let me know if you think you detect any problems with answers on the last page. The trees and proofs are all from previous homework.

Next week we move on to modal logic. I will be posting homeworks by tomorrow.  Reading and lectures are from weeks 7 and 8.