Course Notes for Intermediate Logic

FOL Proofs, Weeks 1-2

Semantics for FOL, Weeks 2-3

Soundness and Completeness, Week 3

Alternatives to FOL, Weeks 4-6

Propositional Modal Logic, Weeks 7-9

Quantified Modal Logic, Weeks 10-11

Conditionality, Week 12-14

Advertisements