In running the following logic classes, I used the syllabi provided by Volker Halbach and James Studd respectively (links below):
Tutorials
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).