Thursday, March 9, 2017

The solution to HW 8 is posted on the schedule page. Be sure you can follow and produce the proofs I provided in the left hand column and come to class with any questions.  We'll start with derivations in modal logic on Monday and I'll provide some as homework for you by tomorrow.

No comments:

Post a Comment