Philosophy 110 - Introduction to Logic	Philosophy 511 - Modal Logic
Philosophy 310 - Intermediate Logic	Philosophy 513 - Mathematical Logic I
Philosophy 382 - Philosophy of Science	Philosophy 595s - Formal Semantics
Philosophy 400 - Logic and Language	Philosophy 595t - Set Theory