Problem Set 3 on basic modal logic is posted here. It will be due on Tuesday, October 9. For this problem set, the LaTeX source is also included, so that you can fill in your answers on the assignment itself if you want. Note that if you want to draw Kripke models, you will need the packages PGF and TikZ (available here).