I'm a first year student of philosophy at UCLA, and I am interested primarily in philosophy of religion. I've just taken an introductory logic course which covered symbolization, sentential logic, and quantification. There are numerous other logic courses offered through the department, including metalogic, modal logic, etc, and I was wondering if AskPhilosophers could recommend a logic course to take? More specifically, I want to take a logic course that is related or will aid me in my studies in philosophy of religion. Maybe modal logic, since it deals with necessity and possibility? Thanks.