WEEK 50:

 

         Modal logic: algebraic and relational semantics.