The electronic textbook for the course, Modal Logic, is available online. Further resources include: 

Blackburn, de Rijke, and Venema. Modal Logic, Cambridge University Press, 2022.

Cresswell and Hughes. A New Introduction to Modal Logic. Taylor & Francis, 1996. NB. Hughes and Cresswell use the symbol L for \(\Box\) and M for \(\Diamond\).

The schedule below includes links to lecture notes, problem sets, and other materials for the course. Here is a link to the syllabus for the course.

There is a survey form in Brighspace you may use in order to sign up for a problem presentation.

schedule

  Background  
Mon 8/25 Relations  
Wed 8/27 Induction and Recursion  
Mon 9/1 University Holiday: Labor Day  
Wed 9/3 Problem Session 1    Presentation
  Propositional logic  
Mon 9/8 Basic Language  
Wed 9/10 Axiomatic Derivations Written Solutions
Mon 9/15 The Deduction Theorem  
Wed 9/17 Problem Session 2 Presentation
Mon 9/22 Completeness  
  Modal Propositional Logic  
Wed 9/24 Basic Language Written Solutions
Mon 9/29 Possible Worlds  
Wed 10/1 Problem Session 3 Presentation
Mon 10/6 Frames  
Wed 10/8 Frame Definability Written Solutions
Mon 10/13 Axiomatic Derivations  
Wed 10/15 Problem Session 4 Presentation
Mon 10/20 Normal Modal Logics   
Wed 10/22 Canonical Models Written Solutions
Mon 10/27 Completeness  
Wed 10/29 Problem Session 5 Presentation
  Selected Applications  
Mon 11/3 Tense Logic  
Wed 11/5 Tense and Choice Written Solutions
Mon 11/10 Deontic Logic  
Wed 11/12 Problem Session 6 Presentation
Mon 11/17 Epistemic Logic: Knowledge Project Proposal
Wed 11/19 Information Flow &
Common Knowledge		 Written Solutions
Mon 11/24 Conditional Logic  
Wed 11/26 Thanksgiving Break  
Mon 12/1 Sphere Models  
Wed 12/3 Quantified Modal Logic  
     
Wed 12/10   Final Project Due