Advanced Logic (Philosophy
4515 | Spring 2017 | Northeastern | Philosophy)
Announcements & Schedule Updates
- Here is a link to the Otter theorem prover.
- My office hours this week are Tuesday 11:45-1:15 and Wednesday 12-2.
- I have posted the practice mid-term and the rules handout for the mid-term. I will go over these in class on Tuesday (2/28).
- I will also be extending the deadline for Assignment #3 by one week. It will now be due on March 3.
- There will be no class this Friday (2/17)
- The grades (see Blackboard) and solutions for HW #1 have been posted. Please make sure to work through these solutions.
- Make sure to download and read the following 3 handouts: