• Ted Sider; Fall 2017 office hours: Mondays, 1-2 and by appointment
• Class meets in Scott Hall 104, M/Th 9:50-11:10

Announcements

• The second exam (covering modal logic and counterfactuals) will be on December 19, at 12:00 noon.

Downloads

• Syllabus


• Errors and typos in the textbook


• More exercises on various topics (for extra practice)
• Modal propositional logic theorems (for practice doing axiomatic proofs)
• Propositional modal logic wffs (for practice doing validity and invalidity proofs)
• Counterfactual conditional wffs (for practice doing validity and invalidity proofs)
• Quantified modal logic wffs (for practice doing validity and invalidity proofs)

Homeworks