The test is closed book and closed notes. This is because I want you to understand the material beforehand. I expect you to know certain definitions cold such as what Γ ⊨ ϕ and what Γ ⊢ ϕ mean.
I will put a crib sheet on the last page of the exam containing some information that you should know but don't need to memorize. I will put up a draft of the midterm crib sheet in a few days. Please feel free to email me suggestions that you would like to see there and I'll post the final version on Friday, Oct. 20.
To study for the test, I urge you to do the following:
I try hard to make my exams like my problem sets only simpler because they are closed book and there is a time limit. The full class period should be enough for most of you to comfortably finish this exam. If you want to come five minutes early and stay five minutes late, that's fine.
I encourage you to ask questions on Piazza as you consolidate your knowledge while studying for the midterm.