In running the following logic classes, I used the syllabi provided by Volker Halbach and James Studd respectively (links below):

Logic Notes

Here are some highly compressed Logic Notes (Nov 2017) for teaching propositional logic, first-order logic, and propositional modal logic. I hope to expand the notes to include further systems.

Please feel free to contact me by email (at bottom).